Anne is cold. Anne is nice. Anne is red. Anne is rough. Bob is cold. Bob is nice. Bob is red. Bob is smart. Bob is white. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. If someone is rough then they are cold. All white people are rough. Cold, nice people are round. If someone is smart then they are rough. Cold people are round. All white people are cold. If Harry is cold then Harry is white. If Harry is cold then Harry is rough.
Anne is smart.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1))] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Bob is cold.[(triple5 OR ((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] Bob is nice.[(triple6)] Bob is red.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Harry is cold.[(triple10 OR ((triple13) -> rule1) OR ((triple16) -> rule6) OR ((((triple15) -> rule4)) -> rule1) OR ((((triple16) -> rule2)) -> rule1))] Harry is nice.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple10) -> rule8) OR ((triple15) -> rule4) OR ((triple16) -> rule2) OR ((((triple10) -> rule7)) -> rule2) OR ((((triple16) -> rule6)) -> rule8))] Harry is round.[(triple14 OR ((triple10) -> rule5) OR ((triple10 triple11) -> rule3) OR ((((triple13) -> rule1)) -> rule5) OR ((((triple16) -> rule6)) -> rule5) OR ((((triple13) -> rule1) triple11) -> rule3) OR ((((triple16) -> rule6) triple11) -> rule3) OR ((((((triple15) -> rule4)) -> rule1)) -> rule5) OR ((((((triple16) -> rule2)) -> rule1)) -> rule5) OR ((((((triple15) -> rule4)) -> rule1) triple11) -> rule3) OR ((((((triple16) -> rule2)) -> rule1) triple11) -> rule3))] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple10) -> rule7) OR ((((triple13) -> rule1)) -> rule7) OR ((((((triple15) -> rule4)) -> rule1)) -> rule7))] @1: Anne is round.[(((triple1) -> rule5) OR ((triple1 triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple4) -> rule1) triple2) -> rule3))] Bob is rough.[(((triple8) -> rule4) OR ((triple9) -> rule2))] Bob is round.[(((triple5) -> rule5) OR ((triple5 triple6) -> rule3) OR ((((triple9) -> rule6)) -> rule5) OR ((((triple9) -> rule6) triple6) -> rule3) OR ((((((triple8) -> rule4)) -> rule1)) -> rule5) OR ((((((triple9) -> rule2)) -> rule1)) -> rule5) OR ((((((triple8) -> rule4)) -> rule1) triple6) -> rule3) OR ((((((triple9) -> rule2)) -> rule1) triple6) -> rule3))]