Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Erin is green. Erin is smart. Fiona is nice. Fiona is quiet. Fiona is smart. Harry is green. Harry is quiet. If Harry is young then Harry is red. If someone is furry then they are red. All furry people are smart. All red people are quiet. If Fiona is furry and Fiona is red then Fiona is nice. All nice people are furry.
Anne is green.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule6))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((((triple1) -> rule2)) -> rule4) OR ((((((triple2) -> rule6)) -> rule2)) -> rule4))] Anne is smart.[(triple4 OR ((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Anne is young.[(triple5)] Erin is green.[(triple6)] Erin is smart.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9 OR ((((((triple8) -> rule6)) -> rule2)) -> rule4))] Fiona is smart.[(triple10 OR ((((triple8) -> rule6)) -> rule3))] Harry is green.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is red.[(((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] Fiona is furry.[(((triple8) -> rule6))] @2: Fiona is red.[(((((triple8) -> rule6)) -> rule2))]