Anne is big. Bob is big. Bob is furry. Bob is nice. Bob is rough. Bob is white. Bob is young. Erin is blue. Harry is nice. Harry is rough. Harry is white. Harry is young. If something is big then it is furry. If Erin is furry and Erin is white then Erin is blue. If something is furry and big then it is nice. If something is big then it is furry. If something is white and nice then it is rough. Furry, nice things are young. Furry, young things are white. All big, blue things are white. Young, blue things are nice.
Anne is nice.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule1) OR ((triple2) -> rule4))] Bob is nice.[(triple4 OR ((triple3 triple2) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule3) OR ((((triple2) -> rule4) triple2) -> rule3))] Bob is rough.[(triple5 OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 triple7) -> rule7) triple4) -> rule5) OR ((((triple3 triple7) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((triple6 ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple6 ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) triple7) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) triple7) -> rule7) triple4) -> rule5) OR ((((triple3 triple7) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 triple7) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) triple7) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) triple7) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) triple7) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) triple7) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) triple7) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) triple7) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((triple3 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) ((((triple2) -> rule4) triple2) -> rule3)) -> rule5))] Bob is white.[(triple6 OR ((triple3 triple7) -> rule7) OR ((triple3 ((triple3 triple4) -> rule6)) -> rule7) OR ((((triple2) -> rule1) triple7) -> rule7) OR ((((triple2) -> rule4) triple7) -> rule7) OR ((((triple2) -> rule1) ((triple3 triple4) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((triple3 triple4) -> rule6)) -> rule7) OR ((triple3 ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((triple3 ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule1) triple4) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((triple3 ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule7))] Bob is young.[(triple7 OR ((triple3 triple4) -> rule6) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule1) triple4) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule6) OR ((((triple2) -> rule1) ((triple3 triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule1) triple2) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule1) triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule6))] Erin is blue.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10 OR ((triple11 triple9) -> rule5))] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Anne is furry.[(((triple1) -> rule1) OR ((triple1) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule1) triple1) -> rule3) OR ((((triple1) -> rule4) triple1) -> rule3))] @3: Anne is young.[(((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6))] @4: Anne is white.[(((((triple1) -> rule1) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule1) ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule1) ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule1) ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7))] @5: Anne is rough.[(((((((triple1) -> rule1) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule4) triple1) -> rule3)) -> rule5))]