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