Bob is green. Bob is kind. Bob is red. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is white. Gary is furry. Gary is kind. Gary is quiet. Gary is smart. Gary is white. If something is red and smart then it is green. Furry things are smart.
Gary is red.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5 OR ((triple8 triple9) -> rule1) OR ((triple8 ((triple4) -> rule2)) -> rule1))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((triple4) -> rule2))] Dave is white.[(triple10)] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14 OR ((triple11) -> rule2))] Gary is white.[(triple15)]