Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is round. Anne is young. Bob is big. Bob is furry. Bob is round. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is round. Harry is young. Quiet, young people are green. If someone is cold and green then they are round. All furry, round people are green.
Anne is round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple4 triple6) -> rule1))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple4 triple6) -> rule1)) -> rule2))] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is furry.[(triple8)] Bob is round.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple11 triple14) -> rule3) OR ((triple13 triple15) -> rule1))] Harry is quiet.[(triple13)] Harry is round.[(triple14 OR ((triple10 triple12) -> rule2) OR ((triple10 ((triple13 triple15) -> rule1)) -> rule2))] Harry is young.[(triple15)] @1: Bob is green.[(((triple8 triple9) -> rule3))]