Anne is big. Anne is furry. Anne is green. Anne is young. Bob is not big. Bob is furry. Bob is not green. Bob is round. Bob is smart. Harry is furry. Harry is not red. Harry is round. If something is red then it is not round. Furry, big things are young. If Anne is not young and Anne is not round then Anne is not smart.
Anne is round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is young.[(triple4 OR ((triple2 triple1) -> rule2))] Bob is furry.[(triple6)] Bob is not big.[(triple5)] Bob is not green.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9)] Harry is furry.[(triple10)] Harry is not red.[(triple11)] Harry is round.[(triple12)]