Bob is blue. Bob is furry. Bob is quiet. Bob is rough. Bob is smart. Charlie is blue. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Smart people are blue. All quiet, cold people are blue. If Bob is round and Bob is furry then Bob is not blue. Rough people are furry. If someone is round and furry then they are cold. If Dave is cold and Dave is not smart then Dave is not furry. If Gary is furry then Gary is blue. If Dave is quiet then Dave is rough.
Charlie is not round.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule1))] Bob is furry.[(triple2 OR ((triple4) -> rule4))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Charlie is blue.[(triple6)] Dave is blue.[(triple7 OR ((triple12) -> rule1) OR ((triple9 ((triple11 triple8) -> rule5)) -> rule2) OR ((triple9 ((triple11 ((triple10) -> rule4)) -> rule5)) -> rule2) OR ((triple9 ((triple11 ((((triple9) -> rule8)) -> rule4)) -> rule5)) -> rule2))] Dave is furry.[(triple8 OR ((triple10) -> rule4) OR ((((triple9) -> rule8)) -> rule4))] Dave is quiet.[(triple9)] Dave is rough.[(triple10 OR ((triple9) -> rule8))] Dave is round.[(triple11)] Dave is smart.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16)] @1: Dave is cold.[(((triple11 triple8) -> rule5) OR ((triple11 ((triple10) -> rule4)) -> rule5) OR ((triple11 ((((triple9) -> rule8)) -> rule4)) -> rule5))] Gary is blue.[(((triple16) -> rule1) OR ((((triple14) -> rule4)) -> rule7) OR ((triple13 ((triple15 ((triple14) -> rule4)) -> rule5)) -> rule2))] Gary is furry.[(((triple14) -> rule4))] @2: Gary is cold.[(((triple15 ((triple14) -> rule4)) -> rule5))]