Dave is not furry. Dave is green. Dave is nice. Dave is round. Gary is furry. Gary is round. Gary is white. Harry is blue. Harry is not green. Harry is nice. Harry is smart. Harry is white. If something is round then it is nice. If something is white and not smart then it is furry. Furry things are round.
Harry is green.
@0: Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple4) -> rule1))] Dave is not furry.[(triple1)] Dave is round.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6 OR ((triple5) -> rule3))] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple10)] Harry is not green.[(triple9)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Gary is nice.[(((triple6) -> rule1) OR ((((triple5) -> rule3)) -> rule1))]