Anne is green. Anne is quiet. Bob is green. Bob is quiet. Bob is round. Fiona is cold. Fiona is smart. Gary is green. Gary is quiet. Gary is smart. If Bob is blue then Bob is cold. Green people are rough. If Gary is rough then Gary is green. If someone is round and green then they are quiet. If someone is green and rough then they are blue. All smart people are blue.
Bob is smart.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4 OR ((triple5 triple3) -> rule4))] Bob is round.[(triple5)] Fiona is cold.[(triple6)] Fiona is smart.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is smart.[(triple10)] @1: Anne is rough.[(((triple1) -> rule2))] Bob is rough.[(((triple3) -> rule2))] Fiona is blue.[(((triple7) -> rule6))] Gary is blue.[(((triple10) -> rule6) OR ((triple8 ((triple8) -> rule2)) -> rule5))] Gary is rough.[(((triple8) -> rule2))] @2: Anne is blue.[(((triple1 ((triple1) -> rule2)) -> rule5))] Bob is blue.[(((triple3 ((triple3) -> rule2)) -> rule5))] @3: Bob is cold.[(((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule1))]