Anne is big. Anne is blue. Anne is red. Erin is blue. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. If someone is furry and not big then they are not smart. If someone is kind then they are smart. If Anne is blue then Anne is green. If Erin is furry and Erin is big then Erin is green. Green people are kind. All big, smart people are blue. If Erin is big and Erin is not smart then Erin is not blue. If Erin is not smart then Erin is red.
Erin is green.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Erin is blue.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule5))] Fiona is red.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] @1: Anne is green.[(((triple2) -> rule3))] Fiona is blue.[(((triple5 triple10) -> rule6) OR ((triple5 ((triple8) -> rule2)) -> rule6) OR ((triple5 ((((triple7) -> rule5)) -> rule2)) -> rule6))] @2: Anne is kind.[(((((triple2) -> rule3)) -> rule5))] @3: Anne is smart.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))]