Bob is big. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is green. Gary is green. Gary is rough. Gary is smart. Gary is white. Smart, rough people are kind. Green, young people are big. All green people are young. If someone is young then they are smart. All young people are rough. If someone is kind then they are young.
Gary is not kind.
@0: Bob is big.[(triple1 OR ((triple2 triple6) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule2) OR ((triple2 ((triple3) -> rule6)) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple4 ((triple6) -> rule5)) -> rule1) OR ((((triple6) -> rule4) ((triple6) -> rule5)) -> rule1) OR ((triple4 ((((triple2) -> rule3)) -> rule5)) -> rule1) OR ((((triple6) -> rule4) ((((triple2) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2) -> rule3)) -> rule4) ((triple6) -> rule5)) -> rule1) OR ((((((triple2) -> rule3)) -> rule4) ((((triple2) -> rule3)) -> rule5)) -> rule1))] Bob is smart.[(triple4 OR ((triple6) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple2) -> rule3) OR ((triple3) -> rule6))] Charlie is big.[(triple7 OR ((triple8 ((triple8) -> rule3)) -> rule2))] Charlie is green.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10 OR ((((triple9) -> rule3)) -> rule5))] Gary is smart.[(triple11 OR ((((triple9) -> rule3)) -> rule4))] Gary is white.[(triple12)] @1: Bob is rough.[(((triple6) -> rule5) OR ((((triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Charlie is young.[(((triple8) -> rule3))] Gary is kind.[(((triple11 triple10) -> rule1) OR ((triple11 ((((triple9) -> rule3)) -> rule5)) -> rule1) OR ((((((triple9) -> rule3)) -> rule4) triple10) -> rule1) OR ((((((triple9) -> rule3)) -> rule4) ((((triple9) -> rule3)) -> rule5)) -> rule1))] Gary is young.[(((triple9) -> rule3) OR ((((triple11 triple10) -> rule1)) -> rule6))] @2: Charlie is rough.[(((((triple8) -> rule3)) -> rule5))] Charlie is smart.[(((((triple8) -> rule3)) -> rule4))] Gary is big.[(((triple9 ((triple9) -> rule3)) -> rule2) OR ((triple9 ((((triple11 triple10) -> rule1)) -> rule6)) -> rule2))] @3: Charlie is kind.[(((((((triple8) -> rule3)) -> rule4) ((((triple8) -> rule3)) -> rule5)) -> rule1))]