Gary is cold. Gary is kind. Gary is young. Quiet people are rough. Furry, cold people are young. All young people are quiet. If someone is cold and quiet then they are young. If someone is furry then they are cold. All young, quiet people are smart. If someone is young and rough then they are smart. If Gary is young and Gary is quiet then Gary is cold.
Gary is rough.
@0: Gary is cold.[(triple1 OR ((triple3 ((triple3) -> rule3)) -> rule8))] Gary is kind.[(triple2)] Gary is young.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule3))] @2: Gary is rough.[(((((triple3) -> rule3)) -> rule1))] Gary is smart.[(((triple3 ((triple3) -> rule3)) -> rule6) OR ((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule7))]