Dave is furry. Dave is not kind. Dave is nice. Dave is rough. Dave is young. Erin is furry. Erin is not kind. Erin is nice. Erin is round. Erin is young. Fiona is furry. Fiona is white. If Fiona is not furry then Fiona is young. If Fiona is rough and Fiona is kind then Fiona is young. White, round people are rough. White, nice people are not kind. If someone is round and not furry then they are not nice. If someone is white then they are round. If Fiona is rough then Fiona is kind. If Erin is not kind then Erin is rough.
Fiona is not nice.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple3)] Dave is not kind.[(triple2)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple8)] Erin is not kind.[(triple7)] Erin is round.[(triple9)] Erin is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is white.[(triple12)] @1: Erin is rough.[(((triple7) -> rule8))] Fiona is round.[(((triple12) -> rule6))] @2: Fiona is rough.[(((triple12 ((triple12) -> rule6)) -> rule3))] @3: Fiona is kind.[(((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule7))] @4: Fiona is young.[(((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule2))]