Gary is cold. Gary is quiet. Harry is smart. All green people are round. Quiet people are green. All round, rough people are smart. If someone is round and green then they are rough. If someone is smart and round then they are cold. All quiet, furry people are cold.
Harry is cold.
@0: Gary is cold.[(triple1 OR ((((((((triple2) -> rule2)) -> rule1) ((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule4)) -> rule3) ((((triple2) -> rule2)) -> rule1)) -> rule5))] Gary is quiet.[(triple2)] Harry is smart.[(triple3)] @1: Gary is green.[(((triple2) -> rule2))] @2: Gary is round.[(((((triple2) -> rule2)) -> rule1))] @3: Gary is rough.[(((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule4))] @4: Gary is smart.[(((((((triple2) -> rule2)) -> rule1) ((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule4)) -> rule3))]