Erin is not kind. Erin is quiet. Erin is smart. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is round. Fiona is smart. Fiona is young. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is young. If Erin is kind and Erin is not furry then Erin is nice. If Erin is round and Erin is not furry then Erin is kind. If Erin is young then Erin is smart. All round things are nice. Furry, smart things are round. All smart things are round.
Fiona is not furry.
@0: Erin is not kind.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((triple7) -> rule4) OR ((((triple8) -> rule6)) -> rule4))] Fiona is not quiet.[(triple6)] Fiona is round.[(triple7 OR ((triple8) -> rule6))] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple14) -> rule4) OR ((((triple15) -> rule6)) -> rule4) OR ((((triple10 triple15) -> rule5)) -> rule4))] Gary is quiet.[(triple13)] Gary is round.[(triple14 OR ((triple15) -> rule6) OR ((triple10 triple15) -> rule5))] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Erin is round.[(((triple3) -> rule6))] @2: Erin is nice.[(((((triple3) -> rule6)) -> rule4))]