Bob is rough. Dave is green. Erin is kind. Harry is red. Nice people are round. Green, red people are big. If someone is red then they are rough. Big people are nice. If Bob is round then Bob is kind. If someone is green then they are red.
Bob is not kind.
@0: Bob is rough.[(triple1)] Dave is green.[(triple2)] Erin is kind.[(triple3)] Harry is red.[(triple4)] @1: Dave is red.[(((triple2) -> rule6))] Harry is rough.[(((triple4) -> rule3))] @2: Dave is big.[(((triple2 ((triple2) -> rule6)) -> rule2))] Dave is rough.[(((((triple2) -> rule6)) -> rule3))] @3: Dave is nice.[(((((triple2 ((triple2) -> rule6)) -> rule2)) -> rule4))] @4: Dave is round.[(((((((triple2 ((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule1))]