Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is not nice. Bob is white. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is white. Gary is blue. Gary is nice. Gary is white. If Charlie is green and Charlie is furry then Charlie is big. All kind things are white. All white, nice things are kind. Big, kind things are furry. If something is kind and nice then it is big. If Gary is green and Gary is not nice then Gary is not white.
Gary is kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple1 triple5) -> rule4))] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is not nice.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule2))] Charlie is big.[(triple8 OR ((triple11 triple10) -> rule1))] Charlie is blue.[(triple9)] Charlie is furry.[(triple10 OR ((triple8 triple12) -> rule4))] Charlie is green.[(triple11)] Charlie is kind.[(triple12)] Charlie is white.[(triple13 OR ((triple12) -> rule2))] Gary is blue.[(triple14)] Gary is nice.[(triple15)] Gary is white.[(triple16)] @1: Gary is kind.[(((triple16 triple15) -> rule3))] @2: Gary is big.[(((((triple16 triple15) -> rule3) triple15) -> rule5))] @3: Gary is furry.[(((((((triple16 triple15) -> rule3) triple15) -> rule5) ((triple16 triple15) -> rule3)) -> rule4))]