Gary is green. Gary is kind. Gary is round. Gary is white. Gary is young. Harry is blue. Harry is green. Harry is kind. Harry is rough. Harry is round. Harry is white. Harry is young. Young people are kind. Kind people are green. All green people are round. All round people are blue. All young, rough people are blue. All kind people are green. Green, kind people are white. If someone is kind then they are green.
Gary is young.
@0: Gary is green.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule6) OR ((triple2) -> rule8) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple5) -> rule1)) -> rule8))] Gary is kind.[(triple2 OR ((triple5) -> rule1))] Gary is round.[(triple3 OR ((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule8)) -> rule3) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3) OR ((((((triple5) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule8)) -> rule3))] Gary is white.[(triple4 OR ((triple1 triple2) -> rule7) OR ((triple1 ((triple5) -> rule1)) -> rule7) OR ((((triple2) -> rule2) triple2) -> rule7) OR ((((triple2) -> rule6) triple2) -> rule7) OR ((((triple2) -> rule8) triple2) -> rule7) OR ((((triple2) -> rule2) ((triple5) -> rule1)) -> rule7) OR ((((triple2) -> rule6) ((triple5) -> rule1)) -> rule7) OR ((((triple2) -> rule8) ((triple5) -> rule1)) -> rule7) OR ((((((triple5) -> rule1)) -> rule2) triple2) -> rule7) OR ((((((triple5) -> rule1)) -> rule6) triple2) -> rule7) OR ((((((triple5) -> rule1)) -> rule8) triple2) -> rule7) OR ((((((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule7) OR ((((((triple5) -> rule1)) -> rule6) ((triple5) -> rule1)) -> rule7) OR ((((((triple5) -> rule1)) -> rule8) ((triple5) -> rule1)) -> rule7))] Gary is young.[(triple5)] Harry is blue.[(triple6 OR ((triple10) -> rule4) OR ((triple12 triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule4) OR ((((((triple8) -> rule2)) -> rule3)) -> rule4) OR ((((((triple8) -> rule6)) -> rule3)) -> rule4) OR ((((((triple8) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple12) -> rule1)) -> rule2)) -> rule3)) -> rule4) OR ((((((((triple12) -> rule1)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple12) -> rule1)) -> rule8)) -> rule3)) -> rule4))] Harry is green.[(triple7 OR ((triple8) -> rule2) OR ((triple8) -> rule6) OR ((triple8) -> rule8) OR ((((triple12) -> rule1)) -> rule2) OR ((((triple12) -> rule1)) -> rule6) OR ((((triple12) -> rule1)) -> rule8))] Harry is kind.[(triple8 OR ((triple12) -> rule1))] Harry is rough.[(triple9)] Harry is round.[(triple10 OR ((triple7) -> rule3) OR ((((triple8) -> rule2)) -> rule3) OR ((((triple8) -> rule6)) -> rule3) OR ((((triple8) -> rule8)) -> rule3) OR ((((((triple12) -> rule1)) -> rule2)) -> rule3) OR ((((((triple12) -> rule1)) -> rule6)) -> rule3) OR ((((((triple12) -> rule1)) -> rule8)) -> rule3))] Harry is white.[(triple11 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple12) -> rule1)) -> rule7) OR ((((triple8) -> rule2) triple8) -> rule7) OR ((((triple8) -> rule6) triple8) -> rule7) OR ((((triple8) -> rule8) triple8) -> rule7) OR ((((triple8) -> rule2) ((triple12) -> rule1)) -> rule7) OR ((((triple8) -> rule6) ((triple12) -> rule1)) -> rule7) OR ((((triple8) -> rule8) ((triple12) -> rule1)) -> rule7) OR ((((((triple12) -> rule1)) -> rule2) triple8) -> rule7) OR ((((((triple12) -> rule1)) -> rule6) triple8) -> rule7) OR ((((((triple12) -> rule1)) -> rule8) triple8) -> rule7) OR ((((((triple12) -> rule1)) -> rule2) ((triple12) -> rule1)) -> rule7) OR ((((((triple12) -> rule1)) -> rule6) ((triple12) -> rule1)) -> rule7) OR ((((((triple12) -> rule1)) -> rule8) ((triple12) -> rule1)) -> rule7))] Harry is young.[(triple12)] @1: Gary is blue.[(((triple3) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule8)) -> rule3)) -> rule4))]