Bob is white. Dave is green. Gary is white. All round, red things are kind. Round things are big. All white things are big. Big, green things are red. All rough, green things are red. Big things are red. All red, white things are kind. All round, rough things are white.
Dave is rough.
@0: Bob is white.[(triple1)] Dave is green.[(triple2)] Gary is white.[(triple3)] @1: Bob is big.[(((triple1) -> rule3))] Gary is big.[(((triple3) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule6))] Gary is red.[(((((triple3) -> rule3)) -> rule6))] @3: Bob is kind.[(((((((triple1) -> rule3)) -> rule6) triple1) -> rule7))] Gary is kind.[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule7))]