Bob is big. Bob is blue. Bob is nice. Bob is rough. Bob is white. Erin is blue. Gary is kind. Harry is kind. Harry is nice. Harry is white. Blue things are rough. All nice, white things are young. If something is big then it is blue. All blue, big things are nice. Big, rough things are kind. All white, rough things are big. If something is young then it is blue. If something is rough then it is white.
Harry is not young.
@0: Bob is big.[(triple1 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple2) -> rule1)) -> rule6) OR ((((triple4) -> rule8) triple4) -> rule6) OR ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6) OR ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((triple5 ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) OR ((((triple4) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6))] Bob is blue.[(triple2 OR ((triple1) -> rule3) OR ((((triple3 triple5) -> rule2)) -> rule7) OR ((((triple5 triple4) -> rule6)) -> rule3) OR ((((triple3 ((triple4) -> rule8)) -> rule2)) -> rule7) OR ((((((triple4) -> rule8) triple4) -> rule6)) -> rule3))] Bob is nice.[(triple3 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple5 triple4) -> rule6)) -> rule4) OR ((((triple1) -> rule3) triple1) -> rule4) OR ((((triple1) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) OR ((triple2 ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) triple1) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) triple1) -> rule4) OR ((triple2 ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) OR ((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4))] Bob is rough.[(triple4 OR ((triple2) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1))] Bob is white.[(triple5 OR ((triple4) -> rule8) OR ((((triple2) -> rule1)) -> rule8) OR ((((((triple1) -> rule3)) -> rule1)) -> rule8))] Erin is blue.[(triple6)] Gary is kind.[(triple7)] Harry is kind.[(triple8 OR ((((triple10 ((((((triple9 triple10) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((((triple9 triple10) -> rule2)) -> rule7)) -> rule1)) -> rule5))] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Bob is kind.[(((triple1 triple4) -> rule5) OR ((triple1 ((triple2) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule6) triple4) -> rule5) OR ((((triple5 triple4) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple2) -> rule1)) -> rule6) triple4) -> rule5) OR ((((((triple4) -> rule8) triple4) -> rule6) triple4) -> rule5) OR ((((triple5 triple4) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) triple4) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5 ((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) triple4) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((triple1 ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) triple4) -> rule6) triple4) -> rule5) OR ((((triple5 triple4) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) triple4) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5 ((triple2) -> rule1)) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) triple4) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) triple4) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) triple4) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple5 ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5 ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5 ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5 ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule8) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule6) ((((((triple3 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5))] Bob is young.[(((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule8)) -> rule2) OR ((((triple2 triple1) -> rule4) triple5) -> rule2) OR ((((triple2 triple1) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((triple3 ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((triple5 triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule4) triple5) -> rule2) OR ((((triple2 triple1) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((triple5 triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((triple5 triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((triple3 ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) triple1) -> rule4) triple5) -> rule2) OR ((((triple2 triple1) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((triple2 ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((triple2 ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((triple1) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) triple1) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((triple5 triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) triple1) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) triple1) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) triple1) -> rule4) triple5) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) triple1) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) triple1) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) triple1) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple2 ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((((triple1) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((triple5 ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((triple4) -> rule8)) -> rule2) OR ((((((((triple5 triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((triple4) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) triple4) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((((triple4) -> rule8) triple4) -> rule6)) -> rule3) ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule4) ((((((triple1) -> rule3)) -> rule1)) -> rule8)) -> rule2))] Erin is rough.[(((triple6) -> rule1))] Harry is young.[(((triple9 triple10) -> rule2))] @2: Erin is white.[(((((triple6) -> rule1)) -> rule8))] Harry is blue.[(((((triple9 triple10) -> rule2)) -> rule7))] @3: Erin is big.[(((((((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule6))] Harry is rough.[(((((((triple9 triple10) -> rule2)) -> rule7)) -> rule1))] @4: Erin is kind.[(((((((((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule6) ((triple6) -> rule1)) -> rule5))] Erin is nice.[(((triple6 ((((((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule6)) -> rule4))] Harry is big.[(((triple10 ((((((triple9 triple10) -> rule2)) -> rule7)) -> rule1)) -> rule6))] @5: Erin is young.[(((((triple6 ((((((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule6)) -> rule4) ((((triple6) -> rule1)) -> rule8)) -> rule2))]