Charlie is rough. Fiona is round. Harry is not rough. Rough people are big. Blue people are big. Nice people are not big. If Charlie is big and Charlie is round then Charlie is blue. All blue people are not nice. Rough people are round.
Charlie is blue.
@0: Charlie is rough.[(triple1)] Fiona is round.[(triple2)] Harry is not rough.[(triple3)] @1: Charlie is big.[(((triple1) -> rule1))] Charlie is round.[(((triple1) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule1) ((triple1) -> rule6)) -> rule4))] @3: Charlie is not nice.[(((((((triple1) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule5))]