Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is round. Gary is cold. Gary is round. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If someone is nice then they are furry. Cold, round people are nice.
Harry is not round.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2 OR ((triple3) -> rule1) OR ((((triple1 triple7) -> rule2)) -> rule1))] Dave is nice.[(triple3 OR ((triple1 triple7) -> rule2))] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Gary is cold.[(triple8)] Gary is round.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple12) -> rule1) OR ((((triple10 triple15) -> rule2)) -> rule1))] Harry is nice.[(triple12 OR ((triple10 triple15) -> rule2))] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Gary is nice.[(((triple8 triple9) -> rule2))] @2: Gary is furry.[(((((triple8 triple9) -> rule2)) -> rule1))]