Erin is furry. Erin is nice. Erin is round. Erin is young. Fiona is green. Fiona is nice. Fiona is young. All green people are furry. All smart, nice people are red. If Fiona is round then Fiona is nice. All smart people are young. If Fiona is furry then Fiona is smart. If someone is green and red then they are round.
Erin is not nice.
@0: Erin is furry.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7 OR ((((((triple5) -> rule1)) -> rule5)) -> rule4))] @1: Fiona is furry.[(((triple5) -> rule1))] @2: Fiona is smart.[(((((triple5) -> rule1)) -> rule5))] @3: Fiona is red.[(((((((triple5) -> rule1)) -> rule5) triple6) -> rule2))] @4: Fiona is round.[(((triple5 ((((((triple5) -> rule1)) -> rule5) triple6) -> rule2)) -> rule6))]