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