Anne is big. Anne is blue. Anne is kind. Anne is red. Anne is smart. Anne is white. Anne is young. Charlie is blue. Charlie is red. Charlie is white. Erin is young. Gary is big. Gary is blue. Gary is red. Gary is smart. Gary is white. White things are young. All white, young things are red. All blue things are kind. All smart, big things are kind. Kind things are young. If Erin is blue then Erin is young.
Erin is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule3) OR ((triple5 triple1) -> rule4))] Anne is red.[(triple4 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple3) -> rule5)) -> rule2) OR ((triple6 ((triple6) -> rule1)) -> rule2) OR ((triple6 ((((triple2) -> rule3)) -> rule5)) -> rule2) OR ((triple6 ((((triple5 triple1) -> rule4)) -> rule5)) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple3) -> rule5) OR ((triple6) -> rule1) OR ((((triple2) -> rule3)) -> rule5) OR ((((triple5 triple1) -> rule4)) -> rule5))] Charlie is blue.[(triple8)] Charlie is red.[(triple9 OR ((triple10 ((triple10) -> rule1)) -> rule2) OR ((triple10 ((((triple8) -> rule3)) -> rule5)) -> rule2))] Charlie is white.[(triple10)] Erin is young.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13)] Gary is red.[(triple14 OR ((triple16 ((triple16) -> rule1)) -> rule2) OR ((triple16 ((((triple13) -> rule3)) -> rule5)) -> rule2) OR ((triple16 ((((triple15 triple12) -> rule4)) -> rule5)) -> rule2))] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Charlie is kind.[(((triple8) -> rule3))] Charlie is young.[(((triple10) -> rule1) OR ((((triple8) -> rule3)) -> rule5))] Gary is kind.[(((triple13) -> rule3) OR ((triple15 triple12) -> rule4))] Gary is young.[(((triple16) -> rule1) OR ((((triple13) -> rule3)) -> rule5) OR ((((triple15 triple12) -> rule4)) -> rule5))]