Anne is big. Anne is smart. Dave is furry. Dave is smart. Erin is blue. Harry is big. Harry is cold. If Erin is green then Erin is big. If someone is furry and cold then they are rough. If someone is blue and not green then they are not rough. If Erin is rough then Erin is blue. If someone is smart then they are cold. All cold people are furry.
Dave is big.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Dave is furry.[(triple3 OR ((((triple4) -> rule5)) -> rule6))] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] @1: Anne is cold.[(((triple2) -> rule5))] Dave is cold.[(((triple4) -> rule5))] Harry is furry.[(((triple7) -> rule6))] @2: Anne is furry.[(((((triple2) -> rule5)) -> rule6))] Dave is rough.[(((triple3 ((triple4) -> rule5)) -> rule2) OR ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule2))] Harry is rough.[(((((triple7) -> rule6) triple7) -> rule2))] @3: Anne is rough.[(((((((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule2))]