Bob is cold. Bob is round. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is round. If something is round then it is smart. If something is nice then it is round.
Gary is round.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7 OR ((triple5) -> rule2))] @1: Bob is smart.[(((triple2) -> rule1))] Gary is smart.[(((triple7) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]