Anne is kind. Anne is red. Anne is rough. Anne is round. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is white. Gary is red. Gary is rough. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is white. All rough things are furry. Red, round things are white. If something is kind then it is rough. If Dave is kind then Dave is furry. All rough things are quiet. If Anne is round and Anne is furry then Anne is quiet.
Harry is white.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule3))] Anne is round.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple7 triple8) -> rule2))] Gary is red.[(triple10)] Gary is rough.[(triple11)] Harry is furry.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16 OR ((triple14 triple15) -> rule2))] @1: Anne is furry.[(((triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] Anne is quiet.[(((triple3) -> rule5) OR ((((triple1) -> rule3)) -> rule5) OR ((triple4 ((triple3) -> rule1)) -> rule6) OR ((triple4 ((((triple1) -> rule3)) -> rule1)) -> rule6))] Anne is white.[(((triple2 triple4) -> rule2))] Gary is furry.[(((triple11) -> rule1))] Gary is quiet.[(((triple11) -> rule5))]