Charlie is big. Charlie is young. Dave is big. Dave is nice. Dave is smart. Dave is not white. Gary is nice. Gary is smart. Gary is not white. Gary is young. Harry is big. Harry is nice. Harry is red. Harry is round. Harry is white. Harry is young. If something is red and not white then it is big. If something is young and round then it is red. White, big things are young. If something is nice then it is round. All red things are nice. All nice things are smart.
Gary is not big.
@0: Charlie is big.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Dave is nice.[(triple4)] Dave is not white.[(triple6)] Dave is smart.[(triple5 OR ((triple4) -> rule6))] Gary is nice.[(triple7)] Gary is not white.[(triple9)] Gary is smart.[(triple8 OR ((triple7) -> rule6))] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is nice.[(triple12 OR ((triple13) -> rule5) OR ((((triple16 triple14) -> rule2)) -> rule5) OR ((((((triple15 triple11) -> rule3) triple14) -> rule2)) -> rule5))] Harry is red.[(triple13 OR ((triple16 triple14) -> rule2) OR ((triple16 ((triple12) -> rule4)) -> rule2) OR ((((triple15 triple11) -> rule3) triple14) -> rule2) OR ((((triple15 triple11) -> rule3) ((triple12) -> rule4)) -> rule2))] Harry is round.[(triple14 OR ((triple12) -> rule4) OR ((((triple13) -> rule5)) -> rule4))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple15 triple11) -> rule3))] @1: Dave is round.[(((triple4) -> rule4))] Gary is round.[(((triple7) -> rule4))] Harry is smart.[(((triple12) -> rule6) OR ((((triple13) -> rule5)) -> rule6) OR ((((((triple16 triple14) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15 triple11) -> rule3) triple14) -> rule2)) -> rule5)) -> rule6))] @2: Gary is red.[(((triple10 ((triple7) -> rule4)) -> rule2))] @3: Gary is big.[(((((triple10 ((triple7) -> rule4)) -> rule2) triple9) -> rule1))]