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