Dave is big. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is white. Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. If something is red and quiet then it is round. All furry things are quiet. Quiet, furry things are round. If Gary is red then Gary is big. All white things are round. All quiet things are white.
Gary is not big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3 OR ((triple2) -> rule2))] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple7) -> rule5) OR ((triple3 triple2) -> rule3) OR ((triple4 triple3) -> rule1) OR ((((triple3) -> rule6)) -> rule5) OR ((triple4 ((triple2) -> rule2)) -> rule1) OR ((((triple2) -> rule2) triple2) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule5))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] Gary is big.[(triple8 OR ((triple11) -> rule4))] Gary is furry.[(triple9)] Gary is quiet.[(triple10 OR ((triple9) -> rule2))] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((triple14) -> rule5) OR ((triple10 triple9) -> rule3) OR ((triple11 triple10) -> rule1) OR ((((triple10) -> rule6)) -> rule5) OR ((triple11 ((triple9) -> rule2)) -> rule1) OR ((((triple9) -> rule2) triple9) -> rule3) OR ((((((triple9) -> rule2)) -> rule6)) -> rule5))] Gary is smart.[(triple13)] Gary is white.[(triple14 OR ((triple10) -> rule6) OR ((((triple9) -> rule2)) -> rule6))]