Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is white. Dave is young. All furry things are white. If something is blue and cold then it is rough. All furry things are young. Blue, red things are furry. If Charlie is young and Charlie is furry then Charlie is red. If Dave is white then Dave is cold.
Dave is not blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple1 triple2) -> rule2))] Charlie is white.[(triple5 OR ((((triple1 triple3) -> rule4)) -> rule1))] Charlie is young.[(triple6 OR ((((triple1 triple3) -> rule4)) -> rule3))] Dave is blue.[(triple7)] Dave is cold.[(triple8 OR ((triple11) -> rule6) OR ((((triple9) -> rule1)) -> rule6) OR ((((((triple7 triple10) -> rule4)) -> rule1)) -> rule6))] Dave is furry.[(triple9 OR ((triple7 triple10) -> rule4))] Dave is red.[(triple10)] Dave is white.[(triple11 OR ((triple9) -> rule1) OR ((((triple7 triple10) -> rule4)) -> rule1))] Dave is young.[(triple12 OR ((triple9) -> rule3) OR ((((triple7 triple10) -> rule4)) -> rule3))] @1: Charlie is furry.[(((triple1 triple3) -> rule4))] Dave is rough.[(((triple7 triple8) -> rule2) OR ((triple7 ((triple11) -> rule6)) -> rule2) OR ((triple7 ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((triple7 ((((((triple7 triple10) -> rule4)) -> rule1)) -> rule6)) -> rule2))]