Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. All green things are blue. If Erin is kind then Erin is blue. Blue, big things are rough. Nice, kind things are blue. All kind things are blue. Big things are nice.
Erin is kind.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple8) -> rule1) OR ((triple9) -> rule2) OR ((triple9) -> rule5) OR ((triple10 triple9) -> rule4) OR ((((triple6) -> rule6) triple9) -> rule4))] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple6) -> rule6))] Erin is red.[(triple11)] Erin is rough.[(triple12 OR ((triple7 triple6) -> rule3) OR ((((triple8) -> rule1) triple6) -> rule3) OR ((((triple9) -> rule2) triple6) -> rule3) OR ((((triple9) -> rule5) triple6) -> rule3) OR ((((triple10 triple9) -> rule4) triple6) -> rule3) OR ((((((triple6) -> rule6) triple9) -> rule4) triple6) -> rule3))] @1: Charlie is blue.[(((triple1) -> rule1) OR ((triple2) -> rule5) OR ((triple3 triple2) -> rule4))]