Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is round. Anne is white. Bob is cold. Bob is furry. Bob is kind. Bob is rough. Dave is cold. If Dave is rough and Dave is furry then Dave is round. If something is cold then it is furry. Furry, kind things are big.
Bob is round.
@0: Anne is big.[(triple1 OR ((triple3 triple4) -> rule3) OR ((((triple2) -> rule2) triple4) -> rule3))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2) -> rule2))] Anne is kind.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9 OR ((triple8) -> rule2))] Bob is kind.[(triple10)] Bob is rough.[(triple11)] Dave is cold.[(triple12)] @1: Bob is big.[(((triple9 triple10) -> rule3) OR ((((triple8) -> rule2) triple10) -> rule3))] Dave is furry.[(((triple12) -> rule2))]