Anne is big. Anne is blue. Anne is round. Anne is smart. Erin is green. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is green. Gary is smart. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is smart. Green, quiet people are round. All big people are green. If someone is round and quiet then they are blue. All big people are blue. All round, blue people are green. All smart people are quiet.
Erin is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule4) OR ((triple3 ((triple4) -> rule6)) -> rule3) OR ((((((triple1) -> rule2) ((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule3))] Anne is round.[(triple3 OR ((((triple1) -> rule2) ((triple4) -> rule6)) -> rule1))] Anne is smart.[(triple4)] Erin is green.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple8) -> rule4) OR ((((triple10 ((triple11) -> rule6)) -> rule1) ((triple11) -> rule6)) -> rule3) OR ((((((triple8) -> rule2) ((triple11) -> rule6)) -> rule1) ((triple11) -> rule6)) -> rule3))] Gary is green.[(triple10 OR ((triple8) -> rule2))] Gary is smart.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13 OR ((triple12) -> rule4) OR ((((triple14 triple15) -> rule1) triple15) -> rule3) OR ((((triple14 triple15) -> rule1) ((triple16) -> rule6)) -> rule3) OR ((((triple14 ((triple16) -> rule6)) -> rule1) triple15) -> rule3) OR ((((((triple12) -> rule2) triple15) -> rule1) triple15) -> rule3) OR ((((triple14 ((triple16) -> rule6)) -> rule1) ((triple16) -> rule6)) -> rule3) OR ((((((triple12) -> rule2) triple15) -> rule1) ((triple16) -> rule6)) -> rule3) OR ((((((triple12) -> rule2) ((triple16) -> rule6)) -> rule1) triple15) -> rule3) OR ((((((triple12) -> rule2) ((triple16) -> rule6)) -> rule1) ((triple16) -> rule6)) -> rule3))] Harry is green.[(triple14 OR ((triple12) -> rule2))] Harry is quiet.[(triple15 OR ((triple16) -> rule6))] Harry is smart.[(triple16)] @1: Anne is green.[(((triple1) -> rule2) OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple1) -> rule4)) -> rule5) OR ((triple3 ((triple3 ((triple4) -> rule6)) -> rule3)) -> rule5))] Anne is quiet.[(((triple4) -> rule6))] Erin is quiet.[(((triple6) -> rule6))] Gary is quiet.[(((triple11) -> rule6))] Harry is round.[(((triple14 triple15) -> rule1) OR ((triple14 ((triple16) -> rule6)) -> rule1) OR ((((triple12) -> rule2) triple15) -> rule1) OR ((((triple12) -> rule2) ((triple16) -> rule6)) -> rule1))] @2: Erin is round.[(((triple5 ((triple6) -> rule6)) -> rule1))] Gary is round.[(((triple10 ((triple11) -> rule6)) -> rule1) OR ((((triple8) -> rule2) ((triple11) -> rule6)) -> rule1))] @3: Erin is blue.[(((((triple5 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule3))]