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