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