Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Charlie is big. Charlie is quiet. Charlie is rough. Dave is cold. Dave is rough. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. If something is rough then it is furry. All rough, kind things are big. Furry, cold things are kind.
Charlie is furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple3 triple2) -> rule3))] Anne is quiet.[(triple5)] Charlie is big.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Dave is cold.[(triple9)] Dave is rough.[(triple10)] Harry is big.[(triple11 OR ((triple16 triple14) -> rule2) OR ((triple16 ((triple13 triple12) -> rule3)) -> rule2) OR ((triple16 ((((triple16) -> rule1) triple12) -> rule3)) -> rule2))] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple16) -> rule1))] Harry is kind.[(triple14 OR ((triple13 triple12) -> rule3) OR ((((triple16) -> rule1) triple12) -> rule3))] Harry is nice.[(triple15)] Harry is rough.[(triple16)] @1: Charlie is furry.[(((triple8) -> rule1))] Dave is furry.[(((triple10) -> rule1))] @2: Dave is kind.[(((((triple10) -> rule1) triple9) -> rule3))] @3: Dave is big.[(((triple10 ((((triple10) -> rule1) triple9) -> rule3)) -> rule2))]