Bob is cold. Erin is smart. Fiona is cold. Gary is smart. If something is smart and cold then it is not nice. If Bob is quiet then Bob is rough. If Bob is nice and Bob is smart then Bob is not round. All round, cold things are not young. All nice things are round. If something is young and nice then it is not round. If something is cold then it is quiet. All rough things are cold.
Bob is cold.
@0: Bob is cold.[(triple1)] Erin is smart.[(triple2)] Fiona is cold.[(triple3)] Gary is smart.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule7))] Fiona is quiet.[(((triple3) -> rule7))] @2: Bob is rough.[(((((triple1) -> rule7)) -> rule2))]