Anne is red. Anne is smart. Dave is furry. Erin is kind. Erin is rough. Gary is furry. Gary is nice. Gary is red. Gary is smart. Gary is young. Smart things are rough. Furry, young things are nice. Red things are smart. All nice things are smart. If something is red then it is smart. If something is rough then it is young. If something is young and rough then it is furry. If Dave is furry then Dave is red.
Erin is not red.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2 OR ((triple1) -> rule3) OR ((triple1) -> rule5))] Dave is furry.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Gary is furry.[(triple6 OR ((triple10 ((triple9) -> rule1)) -> rule7) OR ((triple10 ((((triple7) -> rule4)) -> rule1)) -> rule7) OR ((triple10 ((((triple8) -> rule3)) -> rule1)) -> rule7) OR ((triple10 ((((triple8) -> rule5)) -> rule1)) -> rule7) OR ((((((triple9) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) OR ((((((triple9) -> rule1)) -> rule6) ((((triple7) -> rule4)) -> rule1)) -> rule7) OR ((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) OR ((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule4)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) OR ((((((((triple7) -> rule4)) -> rule1)) -> rule6) ((((triple7) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule4)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule4)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple7) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple7) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7))] Gary is nice.[(triple7 OR ((triple6 triple10) -> rule2) OR ((triple6 ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((triple9) -> rule1)) -> rule7) triple10) -> rule2) OR ((((triple10 ((triple9) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((triple6 ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((triple6 ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((((triple8) -> rule3)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((triple10 ((((triple8) -> rule5)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) triple10) -> rule2) OR ((((triple10 ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((triple10 ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((triple10 ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) triple10) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((triple9) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((triple9) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule3)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule5)) -> rule1)) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule7) ((((((triple8) -> rule5)) -> rule1)) -> rule6)) -> rule2))] Gary is red.[(triple8)] Gary is smart.[(triple9 OR ((triple7) -> rule4) OR ((triple8) -> rule3) OR ((triple8) -> rule5) OR ((((triple6 triple10) -> rule2)) -> rule4))] Gary is young.[(triple10 OR ((((triple9) -> rule1)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1)) -> rule6) OR ((((((triple8) -> rule3)) -> rule1)) -> rule6) OR ((((((triple8) -> rule5)) -> rule1)) -> rule6))] @1: Anne is rough.[(((triple2) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] Dave is red.[(((triple3) -> rule8))] Erin is young.[(((triple5) -> rule6))] Gary is rough.[(((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule5)) -> rule1) OR ((((((triple6 triple10) -> rule2)) -> rule4)) -> rule1))] @2: Anne is young.[(((((triple2) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1)) -> rule6))] Dave is smart.[(((((triple3) -> rule8)) -> rule3) OR ((((triple3) -> rule8)) -> rule5))] Erin is furry.[(((((triple5) -> rule6) triple5) -> rule7))] @3: Anne is furry.[(((((((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) OR ((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7))] Dave is rough.[(((((((triple3) -> rule8)) -> rule3)) -> rule1) OR ((((((triple3) -> rule8)) -> rule5)) -> rule1))] Erin is nice.[(((((((triple5) -> rule6) triple5) -> rule7) ((triple5) -> rule6)) -> rule2))] @4: Anne is nice.[(((((((((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule6) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2))] Dave is young.[(((((((((triple3) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple3) -> rule8)) -> rule5)) -> rule1)) -> rule6))] Erin is smart.[(((((((((triple5) -> rule6) triple5) -> rule7) ((triple5) -> rule6)) -> rule2)) -> rule4))] @5: Dave is nice.[(((triple3 ((((((((triple3) -> rule8)) -> rule3)) -> rule1)) -> rule6)) -> rule2) OR ((triple3 ((((((((triple3) -> rule8)) -> rule5)) -> rule1)) -> rule6)) -> rule2))]