Dave is big. Dave is cold. Dave is red. Dave is round. Dave is young. Harry is cold. Harry is young. Young things are round. If something is kind and not rough then it is not young. Rough things are young. Big things are kind. If something is young and not red then it is not big. If something is round and big then it is cold. If Harry is young and Harry is round then Harry is big. If Harry is kind then Harry is round.
Harry is kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple4 triple1) -> rule6) OR ((((triple5) -> rule1) triple1) -> rule6))] Dave is red.[(triple3)] Dave is round.[(triple4 OR ((triple5) -> rule1))] Dave is young.[(triple5)] Harry is cold.[(triple6 OR ((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6))] Harry is young.[(triple7)] @1: Dave is kind.[(((triple1) -> rule4))] Harry is round.[(((triple7) -> rule1))] @2: Harry is big.[(((triple7 ((triple7) -> rule1)) -> rule7))] @3: Harry is kind.[(((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule4))]