Dave is big. Dave is kind. Erin is nice. Erin is smart. Erin is white. Fiona is big. Fiona is kind. Big, young people are nice. If someone is white then they are nice. All big people are nice. All young people are nice. Big, nice people are young. All nice people are white. All nice, smart people are kind. White people are furry.
Erin is not young.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Erin is nice.[(triple3 OR ((triple5) -> rule2))] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule6))] Fiona is big.[(triple6)] Fiona is kind.[(triple7)] @1: Dave is nice.[(((triple1) -> rule3))] Erin is furry.[(((triple5) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] Erin is kind.[(((triple3 triple4) -> rule7) OR ((((triple5) -> rule2) triple4) -> rule7))] Fiona is nice.[(((triple6) -> rule3))] @2: Dave is white.[(((((triple1) -> rule3)) -> rule6))] Dave is young.[(((triple1 ((triple1) -> rule3)) -> rule5))] Fiona is white.[(((((triple6) -> rule3)) -> rule6))] Fiona is young.[(((triple6 ((triple6) -> rule3)) -> rule5))] @3: Dave is furry.[(((((((triple1) -> rule3)) -> rule6)) -> rule8))] Fiona is furry.[(((((((triple6) -> rule3)) -> rule6)) -> rule8))]