Charlie is big. Charlie is red. Charlie is smart. Charlie is white. Gary is big. Gary is green. Gary is kind. Gary is smart. Gary is white. Harry is green. Harry is quiet. Harry is white. Quiet people are big. White, green people are big. All white people are big. If Charlie is smart then Charlie is quiet. Kind people are smart. All smart people are green. All red people are big. If someone is big and quiet then they are kind.
Gary is kind.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule7) OR ((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule1) OR ((triple4 ((triple3) -> rule6)) -> rule2))] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Gary is big.[(triple5 OR ((triple9) -> rule3) OR ((triple9 triple6) -> rule2) OR ((triple9 ((triple8) -> rule6)) -> rule2) OR ((triple9 ((((triple7) -> rule5)) -> rule6)) -> rule2))] Gary is green.[(triple6 OR ((triple8) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] Gary is kind.[(triple7)] Gary is smart.[(triple8 OR ((triple7) -> rule5))] Gary is white.[(triple9)] Harry is green.[(triple10 OR ((((((((triple11) -> rule1) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple12) -> rule3) triple11) -> rule8)) -> rule5)) -> rule6))] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Charlie is green.[(((triple3) -> rule6))] Charlie is quiet.[(((triple3) -> rule4))] Harry is big.[(((triple11) -> rule1) OR ((triple12) -> rule3) OR ((triple12 triple10) -> rule2))] @2: Charlie is kind.[(((triple1 ((triple3) -> rule4)) -> rule8) OR ((((triple2) -> rule7) ((triple3) -> rule4)) -> rule8) OR ((((triple4) -> rule3) ((triple3) -> rule4)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule8) OR ((((triple4 ((triple3) -> rule6)) -> rule2) ((triple3) -> rule4)) -> rule8))] Harry is kind.[(((((triple11) -> rule1) triple11) -> rule8) OR ((((triple12) -> rule3) triple11) -> rule8) OR ((((triple12 triple10) -> rule2) triple11) -> rule8))] @3: Harry is smart.[(((((((triple11) -> rule1) triple11) -> rule8)) -> rule5) OR ((((((triple12) -> rule3) triple11) -> rule8)) -> rule5) OR ((((((triple12 triple10) -> rule2) triple11) -> rule8)) -> rule5))]