Erin is not furry. Erin is kind. Erin is red. Erin is round. Erin is smart. Erin is white. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. If Fiona is not furry then Fiona is smart. If Erin is red then Erin is smart. If someone is nice then they are kind. Smart, nice people are kind. If someone is round and white then they are kind. If Erin is not smart then Erin is white. If Fiona is nice and Fiona is not smart then Fiona is red. If Fiona is not kind then Fiona is red.
Erin is not kind.
@0: Erin is kind.[(triple2 OR ((triple4 triple6) -> rule5))] Erin is not furry.[(triple1)] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((triple3) -> rule2))] Erin is white.[(triple6)] Fiona is kind.[(triple8 OR ((triple9) -> rule3) OR ((triple10 triple12) -> rule5) OR ((triple11 triple9) -> rule4) OR ((((triple7) -> rule1) triple9) -> rule4))] Fiona is nice.[(triple9)] Fiona is not furry.[(triple7)] Fiona is round.[(triple10)] Fiona is smart.[(triple11 OR ((triple7) -> rule1))] Fiona is white.[(triple12)]