Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is white. Harry is young. Cold, big people are quiet. White people are cold. All green people are big. Cold, green people are rough. If Harry is rough then Harry is big. If someone is cold and quiet then they are green. Rough, quiet people are green. All young, big people are quiet.
Harry is not quiet.
@0: Harry is big.[(triple1 OR ((triple3) -> rule3) OR ((triple5) -> rule5) OR ((((triple2 triple3) -> rule4)) -> rule5) OR ((((triple2 triple4) -> rule6)) -> rule3) OR ((((triple5 triple4) -> rule7)) -> rule3) OR ((((triple2 ((triple2 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((triple6) -> rule2) triple4) -> rule6)) -> rule3) OR ((((((triple6) -> rule2) ((triple2 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple2 ((((triple6) -> rule2) triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule2) ((((triple6) -> rule2) triple4) -> rule6)) -> rule4)) -> rule5))] Harry is cold.[(triple2 OR ((triple6) -> rule2))] Harry is green.[(triple3 OR ((triple2 triple4) -> rule6) OR ((triple5 triple4) -> rule7) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule6) OR ((triple2 ((triple7 triple1) -> rule8)) -> rule6) OR ((triple5 ((triple2 triple1) -> rule1)) -> rule7) OR ((triple5 ((triple7 triple1) -> rule8)) -> rule7) OR ((((triple6) -> rule2) triple4) -> rule6) OR ((((triple6) -> rule2) ((triple2 triple1) -> rule1)) -> rule6) OR ((((triple6) -> rule2) ((triple7 triple1) -> rule8)) -> rule6) OR ((triple2 ((triple2 ((triple5) -> rule5)) -> rule1)) -> rule6) OR ((triple2 ((triple7 ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((triple2 ((((triple6) -> rule2) triple1) -> rule1)) -> rule6) OR ((triple5 ((triple2 ((triple5) -> rule5)) -> rule1)) -> rule7) OR ((triple5 ((triple7 ((triple5) -> rule5)) -> rule8)) -> rule7) OR ((triple5 ((((triple6) -> rule2) triple1) -> rule1)) -> rule7) OR ((triple2 ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule1)) -> rule6) OR ((triple5 ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((triple6) -> rule2) ((triple2 ((triple5) -> rule5)) -> rule1)) -> rule6) OR ((((triple6) -> rule2) ((triple7 ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple1) -> rule1)) -> rule6) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule1)) -> rule6))] Harry is quiet.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple7 triple1) -> rule8) OR ((triple2 ((triple3) -> rule3)) -> rule1) OR ((triple2 ((triple5) -> rule5)) -> rule1) OR ((triple7 ((triple3) -> rule3)) -> rule8) OR ((triple7 ((triple5) -> rule5)) -> rule8) OR ((((triple6) -> rule2) triple1) -> rule1) OR ((((triple6) -> rule2) ((triple3) -> rule3)) -> rule1) OR ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule1) OR ((triple2 ((((triple2 triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple7 ((((triple2 triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((triple2 triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple2 ((((((triple6) -> rule2) triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple7 ((((((triple6) -> rule2) triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((((triple6) -> rule2) triple3) -> rule4)) -> rule5)) -> rule1))] Harry is rough.[(triple5 OR ((triple2 triple3) -> rule4) OR ((triple2 ((triple2 triple4) -> rule6)) -> rule4) OR ((((triple6) -> rule2) triple3) -> rule4) OR ((((triple6) -> rule2) ((triple2 triple4) -> rule6)) -> rule4) OR ((triple2 ((triple2 ((triple2 triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((triple2 ((triple7 triple1) -> rule8)) -> rule6)) -> rule4) OR ((triple2 ((((triple6) -> rule2) triple4) -> rule6)) -> rule4) OR ((triple2 ((((triple6) -> rule2) ((triple2 triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((((triple6) -> rule2) ((triple7 triple1) -> rule8)) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((triple2 ((triple2 triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((triple2 ((triple7 triple1) -> rule8)) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple4) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((triple2 triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((triple7 triple1) -> rule8)) -> rule6)) -> rule4) OR ((triple2 ((triple2 ((((triple6) -> rule2) triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((((triple6) -> rule2) ((((triple6) -> rule2) triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((triple2 ((((triple6) -> rule2) triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((((triple6) -> rule2) triple1) -> rule1)) -> rule6)) -> rule4))] Harry is white.[(triple6)] Harry is young.[(triple7)]