Charlie is green. Charlie is kind. Charlie is nice. Erin is not big. Erin is nice. Harry is kind. Harry is not nice. All furry, white people are kind. All rough people are kind. Nice, kind people are green. Rough people are not white. All kind people are big. If someone is big then they are rough.
Charlie is furry.
@0: Charlie is green.[(triple1 OR ((triple3 triple2) -> rule3))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Erin is nice.[(triple5)] Erin is not big.[(triple4)] Harry is kind.[(triple6)] Harry is not nice.[(triple7)] @1: Charlie is big.[(((triple2) -> rule5))] Harry is big.[(((triple6) -> rule5))] @2: Charlie is rough.[(((((triple2) -> rule5)) -> rule6))] Harry is rough.[(((((triple6) -> rule5)) -> rule6))] @3: Charlie is not white.[(((((((triple2) -> rule5)) -> rule6)) -> rule4))] Harry is not white.[(((((((triple6) -> rule5)) -> rule6)) -> rule4))]