Charlie is red. Charlie is not young. Erin is big. Erin is red. Fiona is young. Harry is furry. Harry is not nice. Harry is not red. Harry is rough. Harry is young. Red people are furry. Red, rough people are big. Young people are not nice. All furry people are not nice. Nice people are red. If Charlie is furry then Charlie is rough.
Erin is not nice.
@0: Charlie is not young.[(triple2)] Charlie is red.[(triple1)] Erin is big.[(triple3)] Erin is red.[(triple4)] Fiona is young.[(triple5)] Harry is furry.[(triple6)] Harry is not nice.[(triple7 OR ((triple10) -> rule3) OR ((triple6) -> rule4))] Harry is not red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple4) -> rule1))] Fiona is not nice.[(((triple5) -> rule3))] @2: Charlie is not nice.[(((((triple1) -> rule1)) -> rule4))] Charlie is rough.[(((((triple1) -> rule1)) -> rule6))] Erin is not nice.[(((((triple4) -> rule1)) -> rule4))] @3: Charlie is big.[(((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule2))]