Bob is not rough. Charlie is rough. Fiona is smart. Harry is smart. All rough people are smart. Kind people are blue. If someone is smart then they are not white. If Harry is big then Harry is not blue. If Harry is nice then Harry is big. If Harry is not white then Harry is big.
Fiona is blue.
@0: Bob is not rough.[(triple1)] Charlie is rough.[(triple2)] Fiona is smart.[(triple3)] Harry is smart.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule1))] Fiona is not white.[(((triple3) -> rule3))] Harry is not white.[(((triple4) -> rule3))] @2: Charlie is not white.[(((((triple2) -> rule1)) -> rule3))] Harry is big.[(((((triple4) -> rule3)) -> rule6))] @3: Harry is not blue.[(((((((triple4) -> rule3)) -> rule6)) -> rule4))]