Charlie is green. Charlie is nice. Charlie is rough. Charlie is white. Charlie is not young. Gary is cold. Gary is green. Gary is rough. Gary is white. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is white. Harry is young. If someone is nice then they are rough. If someone is rough then they are green. If someone is white and not green then they are young. White, nice people are red. If someone is cold and green then they are white. If someone is rough and green then they are cold. Young, white people are cold. If someone is rough and not green then they are cold.
Gary is nice.
@0: Charlie is green.[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Charlie is nice.[(triple2)] Charlie is not young.[(triple5)] Charlie is rough.[(triple3 OR ((triple2) -> rule1))] Charlie is white.[(triple4 OR ((((triple3 triple1) -> rule6) triple1) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((triple3 ((triple3) -> rule2)) -> rule6) triple1) -> rule5) OR ((((((triple2) -> rule1) triple1) -> rule6) triple1) -> rule5) OR ((((triple3 triple1) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple3 ((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple1) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) triple1) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6) triple1) -> rule5) OR ((((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5))] Gary is cold.[(triple6 OR ((triple8 triple7) -> rule6) OR ((triple8 ((triple8) -> rule2)) -> rule6))] Gary is green.[(triple7 OR ((triple8) -> rule2))] Gary is rough.[(triple8)] Gary is white.[(triple9 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple8) -> rule2)) -> rule5) OR ((((triple8 triple7) -> rule6) triple7) -> rule5) OR ((((triple8 triple7) -> rule6) ((triple8) -> rule2)) -> rule5) OR ((((triple8 ((triple8) -> rule2)) -> rule6) triple7) -> rule5) OR ((((triple8 ((triple8) -> rule2)) -> rule6) ((triple8) -> rule2)) -> rule5))] Harry is cold.[(triple10 OR ((triple14 triple11) -> rule6) OR ((triple16 triple15) -> rule7) OR ((triple14 ((triple14) -> rule2)) -> rule6) OR ((((triple12) -> rule1) triple11) -> rule6) OR ((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) OR ((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) OR ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6))] Harry is green.[(triple11 OR ((triple14) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Harry is nice.[(triple12)] Harry is red.[(triple13 OR ((triple15 triple12) -> rule4) OR ((((triple10 triple11) -> rule5) triple12) -> rule4) OR ((((triple10 ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((triple14 triple11) -> rule6) triple11) -> rule5) triple12) -> rule4) OR ((((((triple14 triple11) -> rule6) ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((triple10 ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((triple14 ((triple14) -> rule2)) -> rule6) triple11) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) triple11) -> rule6) triple11) -> rule5) triple12) -> rule4) OR ((((((triple14 triple11) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((triple14 ((triple14) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) triple11) -> rule6) ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) triple11) -> rule5) triple12) -> rule4) OR ((((((triple14 ((triple14) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) triple11) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) triple11) -> rule5) triple12) -> rule4) OR ((((((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) triple11) -> rule5) triple12) -> rule4) OR ((((((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) triple12) -> rule4))] Harry is rough.[(triple14 OR ((triple12) -> rule1))] Harry is white.[(triple15 OR ((triple10 triple11) -> rule5) OR ((triple10 ((triple14) -> rule2)) -> rule5) OR ((((triple14 triple11) -> rule6) triple11) -> rule5) OR ((((triple14 triple11) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((triple10 ((((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((triple14 ((triple14) -> rule2)) -> rule6) triple11) -> rule5) OR ((((((triple12) -> rule1) triple11) -> rule6) triple11) -> rule5) OR ((((triple14 triple11) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((triple14 ((triple14) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) triple11) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) triple11) -> rule5) OR ((((triple14 ((triple14) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) triple11) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) ((triple14) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple12) -> rule1)) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule5))] Harry is young.[(triple16)] @1: Charlie is cold.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule6) OR ((((triple2) -> rule1) triple1) -> rule6) OR ((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) OR ((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6))] Charlie is red.[(((triple4 triple2) -> rule4) OR ((((((triple3 triple1) -> rule6) triple1) -> rule5) triple2) -> rule4) OR ((((((triple3 triple1) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule6) triple1) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) triple1) -> rule6) triple1) -> rule5) triple2) -> rule4) OR ((((((triple3 triple1) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) triple1) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) triple1) -> rule5) triple2) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) triple1) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) ((triple3) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) triple1) -> rule5) triple2) -> rule4) OR ((((((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6) triple1) -> rule5) triple2) -> rule4) OR ((((((triple3 ((((triple2) -> rule1)) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6) ((((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule4))]