Anne is big. Anne is rough. Anne is round. Anne is not young. Dave is rough. Dave is smart. Dave is young. Erin is cold. Harry is cold. Harry is not rough. Harry is round. Harry is young. If Erin is rough then Erin is smart. Young things are smart. If something is red and young then it is smart. All rough things are not red. If something is smart and not red then it is cold. All rough, red things are cold. All cold things are big. If Erin is red and Erin is not smart then Erin is big.
Dave is round.
@0: Anne is big.[(triple1)] Anne is not young.[(triple4)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple7) -> rule2))] Dave is young.[(triple7)] Erin is cold.[(triple8)] Harry is cold.[(triple9)] Harry is not rough.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Anne is not red.[(((triple2) -> rule4))] Dave is not red.[(((triple5) -> rule4))] Erin is big.[(((triple8) -> rule7))] Harry is big.[(((triple9) -> rule7))] Harry is smart.[(((triple12) -> rule2))] @2: Dave is cold.[(((triple6 ((triple5) -> rule4)) -> rule5) OR ((((triple7) -> rule2) ((triple5) -> rule4)) -> rule5))] @3: Dave is big.[(((((triple6 ((triple5) -> rule4)) -> rule5)) -> rule7) OR ((((((triple7) -> rule2) ((triple5) -> rule4)) -> rule5)) -> rule7))]