Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is white. Gary is young. Harry is furry. Harry is red. Harry is smart. Harry is young. All furry people are white. If Charlie is white and Charlie is furry then Charlie is young. All white people are big.
Charlie is not young.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple2) -> rule1))] Gary is big.[(triple7 OR ((triple11) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] Gary is white.[(triple11 OR ((triple8) -> rule1))] Gary is young.[(triple12)] Harry is furry.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Charlie is young.[(((triple6 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Harry is white.[(((triple13) -> rule1))] @2: Harry is big.[(((((triple13) -> rule1)) -> rule3))]