Anne is green. Anne is young. Bob is blue. Bob is smart. Bob is young. Erin is blue. Erin is furry. Erin is green. Erin is young. Gary is blue. All round people are smart. If someone is young then they are round. Smart people are cold.
Bob is not round.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Bob is blue.[(triple3)] Bob is smart.[(triple4 OR ((((triple5) -> rule2)) -> rule1))] Bob is young.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is young.[(triple9)] Gary is blue.[(triple10)] @1: Anne is round.[(((triple2) -> rule2))] Bob is cold.[(((triple4) -> rule3) OR ((((((triple5) -> rule2)) -> rule1)) -> rule3))] Bob is round.[(((triple5) -> rule2))] Erin is round.[(((triple9) -> rule2))] @2: Anne is smart.[(((((triple2) -> rule2)) -> rule1))] Erin is smart.[(((((triple9) -> rule2)) -> rule1))] @3: Anne is cold.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))] Erin is cold.[(((((((triple9) -> rule2)) -> rule1)) -> rule3))]