Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is white. Erin is young. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is white. Harry is young. If Harry is young and Harry is nice then Harry is red. White things are kind. If something is young and white then it is green. Green things are young. Kind things are rough. If something is kind then it is rough. Kind, green things are red. All kind things are young.
Harry is white.
@0: Erin is green.[(triple1 OR ((triple7 triple6) -> rule3) OR ((((triple2) -> rule8) triple6) -> rule3) OR ((((((triple6) -> rule2)) -> rule8) triple6) -> rule3))] Erin is kind.[(triple2 OR ((triple6) -> rule2))] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple7 triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule2) triple1) -> rule7) OR ((((triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule7) OR ((triple2 ((((triple2) -> rule8) triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple2) -> rule8) triple6) -> rule3)) -> rule7) OR ((triple2 ((((((triple6) -> rule2)) -> rule8) triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule8) triple6) -> rule3)) -> rule7))] Erin is rough.[(triple5 OR ((triple2) -> rule5) OR ((triple2) -> rule6) OR ((((triple6) -> rule2)) -> rule5) OR ((((triple6) -> rule2)) -> rule6))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple1) -> rule4) OR ((triple2) -> rule8) OR ((((triple6) -> rule2)) -> rule8))] Harry is green.[(triple8 OR ((triple14 triple13) -> rule3) OR ((((triple9) -> rule8) triple13) -> rule3) OR ((((((triple13) -> rule2)) -> rule8) triple13) -> rule3))] Harry is kind.[(triple9 OR ((triple13) -> rule2))] Harry is nice.[(triple10)] Harry is red.[(triple11 OR ((triple14 triple10) -> rule1) OR ((triple9 triple8) -> rule7) OR ((triple9 ((triple14 triple13) -> rule3)) -> rule7) OR ((((triple13) -> rule2) triple8) -> rule7) OR ((((triple8) -> rule4) triple10) -> rule1) OR ((((triple9) -> rule8) triple10) -> rule1) OR ((((triple13) -> rule2) ((triple14 triple13) -> rule3)) -> rule7) OR ((triple9 ((((triple9) -> rule8) triple13) -> rule3)) -> rule7) OR ((((((triple13) -> rule2)) -> rule8) triple10) -> rule1) OR ((((triple13) -> rule2) ((((triple9) -> rule8) triple13) -> rule3)) -> rule7) OR ((triple9 ((((((triple13) -> rule2)) -> rule8) triple13) -> rule3)) -> rule7) OR ((((triple13) -> rule2) ((((((triple13) -> rule2)) -> rule8) triple13) -> rule3)) -> rule7))] Harry is rough.[(triple12 OR ((triple9) -> rule5) OR ((triple9) -> rule6) OR ((((triple13) -> rule2)) -> rule5) OR ((((triple13) -> rule2)) -> rule6))] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple8) -> rule4) OR ((triple9) -> rule8) OR ((((triple13) -> rule2)) -> rule8))]