Erin is kind. Erin is nice. Erin is red. Erin is not smart. Fiona is quiet. Fiona is smart. Fiona is young. Harry is big. Harry is quiet. Harry is not young. If someone is kind and quiet then they are young. Smart people are young. All quiet people are not kind. If someone is big and nice then they are kind. Big people are not nice. All smart, young people are big. If someone is quiet and not big then they are red. Quiet, nice people are not red.
Fiona is quiet.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is not smart.[(triple4)] Erin is red.[(triple3)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule2))] Harry is big.[(triple8)] Harry is not young.[(triple10)] Harry is quiet.[(triple9)] @1: Fiona is big.[(((triple6 triple7) -> rule6) OR ((triple6 ((triple6) -> rule2)) -> rule6))] Fiona is not kind.[(((triple5) -> rule3))] Harry is not kind.[(((triple9) -> rule3))] Harry is not nice.[(((triple8) -> rule5))] @2: Fiona is not nice.[(((((triple6 triple7) -> rule6)) -> rule5) OR ((((triple6 ((triple6) -> rule2)) -> rule6)) -> rule5))]