Anne is big. Anne is green. Anne is kind. Anne is nice. Bob is furry. Bob is quiet. Erin is nice. Erin is quiet. Erin is young. Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is young. If Bob is nice and Bob is furry then Bob is green. Green things are big. If something is furry and young then it is nice. If Erin is kind then Erin is young. All big, young things are nice. Big things are quiet.
Erin is not young.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Bob is furry.[(triple5)] Bob is quiet.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is young.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple10 triple15) -> rule5) OR ((triple11 triple15) -> rule3))] Harry is quiet.[(triple14 OR ((triple10) -> rule6))] Harry is young.[(triple15)] @1: Anne is quiet.[(((triple1) -> rule6) OR ((((triple2) -> rule2)) -> rule6))]