Charlie is big. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is rough. Erin is smart. All smart, nice people are round. If Erin is smart and Erin is kind then Erin is young. Smart, big people are kind. Rough, nice people are round. Round people are big. If someone is nice and big then they are rough.
Charlie is not rough.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule5) OR ((((triple4 triple3) -> rule4)) -> rule5) OR ((((triple6 triple3) -> rule1)) -> rule5))] Charlie is kind.[(triple2 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple5) -> rule5)) -> rule3) OR ((triple6 ((((triple4 triple3) -> rule4)) -> rule5)) -> rule3) OR ((triple6 ((((triple6 triple3) -> rule1)) -> rule5)) -> rule3))] Charlie is nice.[(triple3)] Charlie is rough.[(triple4 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple5) -> rule5)) -> rule6) OR ((triple3 ((((triple6 triple3) -> rule1)) -> rule5)) -> rule6))] Charlie is round.[(triple5 OR ((triple4 triple3) -> rule4) OR ((triple6 triple3) -> rule1) OR ((((triple3 triple1) -> rule6) triple3) -> rule4))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] @1: Erin is kind.[(((triple10 triple8) -> rule3))] @2: Erin is young.[(((triple10 ((triple10 triple8) -> rule3)) -> rule2))]