Bob is cold. Bob is kind. Bob is rough. Bob is white. Dave is blue. Dave is cold. Dave is furry. Dave is not kind. Dave is rough. Dave is not round. Dave is white. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is round. If Dave is rough and Dave is white then Dave is furry. Round things are kind. All kind things are furry. If something is white then it is blue. Round things are blue. If Bob is blue then Bob is not round.
Bob is round.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Dave is blue.[(triple5 OR ((triple11) -> rule4))] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((triple9 triple11) -> rule1))] Dave is not kind.[(triple8)] Dave is not round.[(triple10)] Dave is rough.[(triple9)] Dave is white.[(triple11)] Gary is blue.[(triple12 OR ((triple16) -> rule5))] Gary is cold.[(triple13)] Gary is furry.[(triple14 OR ((triple15) -> rule3) OR ((((triple16) -> rule2)) -> rule3))] Gary is kind.[(triple15 OR ((triple16) -> rule2))] Gary is round.[(triple16)] @1: Bob is blue.[(((triple4) -> rule4))] Bob is furry.[(((triple2) -> rule3))] @2: Bob is not round.[(((((triple4) -> rule4)) -> rule6))]