Dave is round. Dave is white. Erin is big. Erin is green. Erin is red. Erin is round. Erin is smart. Erin is young. Fiona is big. Fiona is green. Harry is big. Harry is white. White, round things are red. Big things are round. All white, big things are smart. If something is big and green then it is white. If Harry is smart then Harry is young. If something is smart then it is big.
Dave is round.
@0: Dave is round.[(triple1)] Dave is white.[(triple2)] Erin is big.[(triple3 OR ((triple7) -> rule6))] Erin is green.[(triple4)] Erin is red.[(triple5 OR ((((triple3 triple4) -> rule4) triple6) -> rule1) OR ((((triple3 triple4) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((((triple7) -> rule6) triple4) -> rule4) triple6) -> rule1) OR ((((triple3 triple4) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((triple7) -> rule6) triple4) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((((triple7) -> rule6) triple4) -> rule4) ((((triple7) -> rule6)) -> rule2)) -> rule1))] Erin is round.[(triple6 OR ((triple3) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] Erin is smart.[(triple7 OR ((((triple3 triple4) -> rule4) triple3) -> rule3))] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10)] Harry is big.[(triple11)] Harry is white.[(triple12)] @1: Dave is red.[(((triple2 triple1) -> rule1))] Erin is white.[(((triple3 triple4) -> rule4) OR ((((triple7) -> rule6) triple4) -> rule4))] Fiona is round.[(((triple9) -> rule2))] Fiona is white.[(((triple9 triple10) -> rule4))] Harry is round.[(((triple11) -> rule2))] Harry is smart.[(((triple12 triple11) -> rule3))] @2: Fiona is red.[(((((triple9 triple10) -> rule4) ((triple9) -> rule2)) -> rule1))] Fiona is smart.[(((((triple9 triple10) -> rule4) triple9) -> rule3))] Harry is red.[(((triple12 ((triple11) -> rule2)) -> rule1))] Harry is young.[(((((triple12 triple11) -> rule3)) -> rule5))]