Erin is nice. Fiona is not smart. Gary is nice. Harry is not kind. If someone is red then they are quiet. All nice people are quiet. If Fiona is big then Fiona is not smart. If someone is furry and big then they are red. If someone is smart then they are red. All nice people are red. If someone is big then they are nice. If Fiona is not red then Fiona is kind.
Fiona is smart.
@0: Erin is nice.[(triple1)] Fiona is not smart.[(triple2)] Gary is nice.[(triple3)] Harry is not kind.[(triple4)] @1: Erin is quiet.[(((triple1) -> rule2) OR ((((triple1) -> rule6)) -> rule1))] Erin is red.[(((triple1) -> rule6))] Gary is quiet.[(((triple3) -> rule2) OR ((((triple3) -> rule6)) -> rule1))] Gary is red.[(((triple3) -> rule6))]