Charlie is big. Charlie is blue. Charlie is kind. Charlie is young. Erin is blue. Erin is green. Erin is kind. Erin is round. Erin is young. Gary is big. Gary is green. Gary is round. Green, young things are big. All big things are kind. If something is big then it is nice. Kind, nice things are blue. If Erin is big and Erin is green then Erin is round. All green, nice things are kind. Young things are kind. All young, round things are kind.
Charlie is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3 ((triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule2) ((triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule7) ((triple1) -> rule3)) -> rule4))] Charlie is kind.[(triple3 OR ((triple1) -> rule2) OR ((triple4) -> rule7))] Charlie is young.[(triple4)] Erin is blue.[(triple5 OR ((triple7 ((((triple6 triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple9) -> rule7) ((((triple6 triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple9 triple8) -> rule8) ((((triple6 triple9) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6 triple9) -> rule1)) -> rule2) ((((triple6 triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple6 ((((triple6 triple9) -> rule1)) -> rule3)) -> rule6) ((((triple6 triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple9 ((((triple6 triple9) -> rule1) triple6) -> rule5)) -> rule8) ((((triple6 triple9) -> rule1)) -> rule3)) -> rule4))] Erin is green.[(triple6)] Erin is kind.[(triple7 OR ((triple9) -> rule7) OR ((triple9 triple8) -> rule8) OR ((((triple6 triple9) -> rule1)) -> rule2) OR ((triple6 ((((triple6 triple9) -> rule1)) -> rule3)) -> rule6) OR ((triple9 ((((triple6 triple9) -> rule1) triple6) -> rule5)) -> rule8))] Erin is round.[(triple8 OR ((((triple6 triple9) -> rule1) triple6) -> rule5))] Erin is young.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is round.[(triple12)] @1: Charlie is nice.[(((triple1) -> rule3))] Erin is big.[(((triple6 triple9) -> rule1))] Gary is kind.[(((triple10) -> rule2) OR ((triple11 ((triple10) -> rule3)) -> rule6))] Gary is nice.[(((triple10) -> rule3))] @2: Erin is nice.[(((((triple6 triple9) -> rule1)) -> rule3))] Gary is blue.[(((((triple10) -> rule2) ((triple10) -> rule3)) -> rule4) OR ((((triple11 ((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4))]