Bob is big. Bob is red. Bob is smart. Bob is white. Fiona is smart. Fiona is white. Harry is kind. Rough, big things are white. All red things are kind. If something is white and rough then it is red. Rough, white things are smart. If something is rough then it is white. If Fiona is white and Fiona is smart then Fiona is rough.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Harry is kind.[(triple7)] @1: Bob is kind.[(((triple2) -> rule2))] Fiona is rough.[(((triple6 triple5) -> rule6))] @2: Fiona is red.[(((triple6 ((triple6 triple5) -> rule6)) -> rule3))] @3: Fiona is kind.[(((((triple6 ((triple6 triple5) -> rule6)) -> rule3)) -> rule2))]