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