Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is white. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is rough. Gary is round. Gary is white. If someone is white then they are round. If Dave is blue and Dave is quiet then Dave is white. All round, cold people are quiet. If someone is furry and rough then they are white. All quiet, furry people are rough. Cold people are white. Rough people are quiet. All white people are cold.
Dave is rough.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple7) -> rule8) OR ((((triple1 triple4) -> rule2)) -> rule8) OR ((((triple3 triple5) -> rule4)) -> rule8) OR ((((triple1 ((triple5) -> rule7)) -> rule2)) -> rule8) OR ((((triple3 ((triple4 triple3) -> rule5)) -> rule4)) -> rule8))] Dave is furry.[(triple3)] Dave is quiet.[(triple4 OR ((triple5) -> rule7) OR ((triple6 triple2) -> rule3) OR ((triple6 ((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule1) triple2) -> rule3) OR ((((triple7) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((triple6 ((((triple3 triple5) -> rule4)) -> rule8)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) triple2) -> rule3) OR ((((((triple3 triple5) -> rule4)) -> rule1) triple2) -> rule3) OR ((((triple7) -> rule1) ((((triple3 triple5) -> rule4)) -> rule8)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple3 triple5) -> rule4)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) ((((triple3 triple5) -> rule4)) -> rule8)) -> rule3) OR ((((((triple3 triple5) -> rule4)) -> rule1) ((((triple3 triple5) -> rule4)) -> rule8)) -> rule3))] Dave is rough.[(triple5 OR ((triple4 triple3) -> rule5) OR ((((triple6 triple2) -> rule3) triple3) -> rule5) OR ((((triple6 ((triple7) -> rule8)) -> rule3) triple3) -> rule5) OR ((((((triple7) -> rule1) triple2) -> rule3) triple3) -> rule5) OR ((((((triple7) -> rule1) ((triple7) -> rule8)) -> rule3) triple3) -> rule5) OR ((((((((triple2) -> rule6)) -> rule1) triple2) -> rule3) triple3) -> rule5) OR ((((((((triple2) -> rule6)) -> rule1) ((triple7) -> rule8)) -> rule3) triple3) -> rule5))] Dave is round.[(triple6 OR ((triple7) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((triple1 triple4) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule4)) -> rule1) OR ((((triple1 ((triple5) -> rule7)) -> rule2)) -> rule1) OR ((((triple3 ((triple4 triple3) -> rule5)) -> rule4)) -> rule1))] Dave is white.[(triple7 OR ((triple2) -> rule6) OR ((triple1 triple4) -> rule2) OR ((triple3 triple5) -> rule4) OR ((triple1 ((triple5) -> rule7)) -> rule2) OR ((triple1 ((triple6 triple2) -> rule3)) -> rule2) OR ((triple3 ((triple4 triple3) -> rule5)) -> rule4) OR ((triple3 ((((triple6 triple2) -> rule3) triple3) -> rule5)) -> rule4))] Gary is blue.[(triple8)] Gary is cold.[(triple9 OR ((triple14) -> rule8) OR ((((triple10 triple12) -> rule4)) -> rule8) OR ((((triple10 ((triple11 triple10) -> rule5)) -> rule4)) -> rule8))] Gary is furry.[(triple10)] Gary is quiet.[(triple11 OR ((triple12) -> rule7) OR ((triple13 triple9) -> rule3) OR ((triple13 ((triple14) -> rule8)) -> rule3) OR ((((triple14) -> rule1) triple9) -> rule3) OR ((((triple14) -> rule1) ((triple14) -> rule8)) -> rule3) OR ((triple13 ((((triple10 triple12) -> rule4)) -> rule8)) -> rule3) OR ((((((triple9) -> rule6)) -> rule1) triple9) -> rule3) OR ((((((triple10 triple12) -> rule4)) -> rule1) triple9) -> rule3) OR ((((triple14) -> rule1) ((((triple10 triple12) -> rule4)) -> rule8)) -> rule3) OR ((((((triple9) -> rule6)) -> rule1) ((triple14) -> rule8)) -> rule3) OR ((((((triple10 triple12) -> rule4)) -> rule1) ((triple14) -> rule8)) -> rule3) OR ((((((triple9) -> rule6)) -> rule1) ((((triple10 triple12) -> rule4)) -> rule8)) -> rule3) OR ((((((triple10 triple12) -> rule4)) -> rule1) ((((triple10 triple12) -> rule4)) -> rule8)) -> rule3))] Gary is rough.[(triple12 OR ((triple11 triple10) -> rule5) OR ((((triple13 triple9) -> rule3) triple10) -> rule5) OR ((((triple13 ((triple14) -> rule8)) -> rule3) triple10) -> rule5) OR ((((((triple14) -> rule1) triple9) -> rule3) triple10) -> rule5) OR ((((((triple14) -> rule1) ((triple14) -> rule8)) -> rule3) triple10) -> rule5) OR ((((((((triple9) -> rule6)) -> rule1) triple9) -> rule3) triple10) -> rule5) OR ((((((((triple9) -> rule6)) -> rule1) ((triple14) -> rule8)) -> rule3) triple10) -> rule5))] Gary is round.[(triple13 OR ((triple14) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple10 triple12) -> rule4)) -> rule1) OR ((((triple10 ((triple11 triple10) -> rule5)) -> rule4)) -> rule1))] Gary is white.[(triple14 OR ((triple9) -> rule6) OR ((triple10 triple12) -> rule4) OR ((triple10 ((triple11 triple10) -> rule5)) -> rule4) OR ((triple10 ((((triple13 triple9) -> rule3) triple10) -> rule5)) -> rule4))]