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