Anne is big. Charlie is big. Fiona is big. Gary is quiet. If something is quiet then it is green. All big things are rough. If something is rough then it is quiet.
Fiona is not nice.
@0: Anne is big.[(triple1)] Charlie is big.[(triple2)] Fiona is big.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is rough.[(((triple1) -> rule2))] Charlie is rough.[(((triple2) -> rule2))] Fiona is rough.[(((triple3) -> rule2))] Gary is green.[(((triple4) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule2)) -> rule3))] Charlie is quiet.[(((((triple2) -> rule2)) -> rule3))] Fiona is quiet.[(((((triple3) -> rule2)) -> rule3))] @3: Anne is green.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))] Charlie is green.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))] Fiona is green.[(((((((triple3) -> rule2)) -> rule3)) -> rule1))]