Dave is not red. Fiona is red. Gary is blue. Harry is nice. All nice things are kind. If something is nice and not blue then it is kind. If something is rough and not green then it is not red. If something is big and not rough then it is red. If something is big then it is red. All red things are big. Blue things are big. If something is blue and big then it is nice.
Harry is rough.
@0: Dave is not red.[(triple1)] Fiona is red.[(triple2)] Gary is blue.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is big.[(((triple2) -> rule6))] Gary is big.[(((triple3) -> rule7))] Harry is kind.[(((triple4) -> rule1))] @2: Gary is nice.[(((triple3 ((triple3) -> rule7)) -> rule8))] Gary is red.[(((((triple3) -> rule7)) -> rule5))] @3: Gary is kind.[(((((triple3 ((triple3) -> rule7)) -> rule8)) -> rule1))]