Anne is not rough. Bob is nice. Fiona is not nice. Gary is not cold. If something is cold then it is nice. If something is nice then it is young. Rough things are quiet. If something is rough then it is red. All cold things are red. If Bob is young then Bob is rough.
Bob is not furry.
@0: Anne is not rough.[(triple1)] Bob is nice.[(triple2)] Fiona is not nice.[(triple3)] Gary is not cold.[(triple4)] @1: Bob is young.[(((triple2) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule2)) -> rule6))] @3: Bob is quiet.[(((((((triple2) -> rule2)) -> rule6)) -> rule3))] Bob is red.[(((((((triple2) -> rule2)) -> rule6)) -> rule4))]