Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is round. Bob is furry. Bob is green. Bob is rough. Harry is cold. Harry is not furry. Harry is quiet. Harry is red. Harry is rough. Harry is round. If something is round then it is red. All cold, green things are quiet.
Harry is not cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4 OR ((triple1 triple3) -> rule2))] Anne is red.[(triple5 OR ((triple7) -> rule1))] Anne is rough.[(triple6)] Anne is round.[(triple7)] Bob is furry.[(triple8)] Bob is green.[(triple9)] Bob is rough.[(triple10)] Harry is cold.[(triple11)] Harry is not furry.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple16) -> rule1))] Harry is rough.[(triple15)] Harry is round.[(triple16)]