Charlie is red. Charlie is not rough. Fiona is not big. Fiona is green. Fiona is kind. Fiona is not young. Harry is rough. If Fiona is green then Fiona is not nice. If something is rough then it is not big. If Harry is young then Harry is big. If something is green and not rough then it is nice. Red things are green. If Fiona is nice and Fiona is kind then Fiona is not green.
Fiona is big.
@0: Charlie is not rough.[(triple2)] Charlie is red.[(triple1)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is not big.[(triple3)] Fiona is not young.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is green.[(((triple1) -> rule5))] Fiona is not nice.[(((triple4) -> rule1))] Harry is not big.[(((triple7) -> rule2))] @2: Charlie is nice.[(((((triple1) -> rule5) triple2) -> rule4))]