Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is round. Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Dave is furry. Dave is kind. Dave is rough. Dave is round. Gary is nice. Gary is round. If someone is blue and nice then they are round. All round people are blue. If someone is furry and round then they are nice.
Bob is not round.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule2))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple3) -> rule1))] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11)] Dave is rough.[(triple12)] Dave is round.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15)] @1: Charlie is round.[(((triple7 triple9) -> rule1))] Dave is blue.[(((triple13) -> rule2))] Dave is nice.[(((triple10 triple13) -> rule3))] Gary is blue.[(((triple15) -> rule2))]