Anne is smart. Anne is white. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Gary is young. Harry is quiet. Harry is rough. If Gary is kind and Gary is rough then Gary is white. If something is green then it is young. Quiet, young things are white. Kind, quiet things are rough. If something is kind then it is green. All quiet things are kind.
Harry is young.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4 OR ((((triple3) -> rule6) triple3) -> rule4))] Erin is smart.[(triple5)] Erin is young.[(triple6 OR ((((((triple3) -> rule6)) -> rule5)) -> rule2))] Gary is green.[(triple7 OR ((triple8) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] Gary is kind.[(triple8 OR ((triple9) -> rule6))] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((triple8 triple9) -> rule4) OR ((((triple9) -> rule6) triple9) -> rule4))] Gary is smart.[(triple11)] Gary is white.[(triple12 OR ((triple8 triple10) -> rule1) OR ((triple9 triple13) -> rule3) OR ((triple8 ((triple8 triple9) -> rule4)) -> rule1) OR ((triple9 ((triple7) -> rule2)) -> rule3) OR ((((triple9) -> rule6) triple10) -> rule1) OR ((((triple9) -> rule6) ((triple8 triple9) -> rule4)) -> rule1) OR ((triple8 ((((triple9) -> rule6) triple9) -> rule4)) -> rule1) OR ((triple9 ((((triple8) -> rule5)) -> rule2)) -> rule3) OR ((((triple9) -> rule6) ((((triple9) -> rule6) triple9) -> rule4)) -> rule1) OR ((triple9 ((((((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule3))] Gary is young.[(triple13 OR ((triple7) -> rule2) OR ((((triple8) -> rule5)) -> rule2) OR ((((((triple9) -> rule6)) -> rule5)) -> rule2))] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((((triple14) -> rule6) triple14) -> rule4))] @1: Erin is kind.[(((triple3) -> rule6))] Erin is white.[(((triple3 triple6) -> rule3) OR ((triple3 ((((((triple3) -> rule6)) -> rule5)) -> rule2)) -> rule3))] Harry is kind.[(((triple14) -> rule6))] @2: Erin is green.[(((((triple3) -> rule6)) -> rule5))] Harry is green.[(((((triple14) -> rule6)) -> rule5))] @3: Harry is young.[(((((((triple14) -> rule6)) -> rule5)) -> rule2))] @4: Harry is white.[(((triple14 ((((((triple14) -> rule6)) -> rule5)) -> rule2)) -> rule3))]