Dave is green. Dave is nice. Erin is big. Erin is cold. Erin is green. Erin is smart. Fiona is cold. Fiona is nice. Harry is green. Harry is nice. Harry is quiet. Harry is round. If someone is round then they are cold. If someone is nice then they are cold. If Harry is quiet and Harry is nice then Harry is green. Green people are quiet. All smart, quiet people are round. If someone is round then they are cold. Nice, green people are quiet. All round, big people are cold.
Fiona is not round.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Erin is big.[(triple3)] Erin is cold.[(triple4 OR ((((triple6 ((triple5) -> rule4)) -> rule5)) -> rule1) OR ((((triple6 ((triple5) -> rule4)) -> rule5)) -> rule6) OR ((((triple6 ((triple5) -> rule4)) -> rule5) triple3) -> rule8))] Erin is green.[(triple5)] Erin is smart.[(triple6)] Fiona is cold.[(triple7 OR ((triple8) -> rule2))] Fiona is nice.[(triple8)] Harry is green.[(triple9 OR ((triple11 triple10) -> rule3))] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple9) -> rule4) OR ((triple10 triple9) -> rule7))] Harry is round.[(triple12)] @1: Dave is cold.[(((triple2) -> rule2))] Dave is quiet.[(((triple1) -> rule4) OR ((triple2 triple1) -> rule7))] Erin is quiet.[(((triple5) -> rule4))] Harry is cold.[(((triple10) -> rule2) OR ((triple12) -> rule1) OR ((triple12) -> rule6))] @2: Erin is round.[(((triple6 ((triple5) -> rule4)) -> rule5))]