Bob is cold. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. Harry is cold. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. All cold, white things are kind. Smart, rough things are cold. If something is red and white then it is kind. If something is kind then it is smart. Smart, red things are white. If something is kind then it is red. All kind things are rough. All cold things are rough.
Harry is not red.
@0: Bob is cold.[(triple1 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple2) -> rule7)) -> rule2) OR ((((triple2) -> rule4) triple4) -> rule2) OR ((((triple2) -> rule4) ((triple2) -> rule7)) -> rule2) OR ((triple6 ((((triple3 triple7) -> rule3)) -> rule7)) -> rule2) OR ((((((triple3 triple7) -> rule3)) -> rule4) triple4) -> rule2) OR ((((triple2) -> rule4) ((((triple3 triple7) -> rule3)) -> rule7)) -> rule2) OR ((((((triple3 triple7) -> rule3)) -> rule4) ((triple2) -> rule7)) -> rule2) OR ((((((triple3 triple7) -> rule3)) -> rule4) ((((triple3 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple6 ((((triple3 ((triple6 triple3) -> rule5)) -> rule3)) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((triple3 ((triple6 triple3) -> rule5)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple3 triple7) -> rule3)) -> rule4) ((((triple3 ((triple6 triple3) -> rule5)) -> rule3)) -> rule7)) -> rule2))] Bob is kind.[(triple2 OR ((triple1 triple7) -> rule1) OR ((triple3 triple7) -> rule3) OR ((triple1 ((triple6 triple3) -> rule5)) -> rule1) OR ((triple3 ((triple6 triple3) -> rule5)) -> rule3) OR ((((triple6 triple4) -> rule2) triple7) -> rule1) OR ((((triple6 triple4) -> rule2) ((triple6 triple3) -> rule5)) -> rule1))] Bob is red.[(triple3 OR ((triple2) -> rule6) OR ((((triple1 triple7) -> rule1)) -> rule6) OR ((((((triple6 triple4) -> rule2) triple7) -> rule1)) -> rule6))] Bob is rough.[(triple4 OR ((triple1) -> rule8) OR ((triple2) -> rule7) OR ((((triple1 triple7) -> rule1)) -> rule7) OR ((((triple3 triple7) -> rule3)) -> rule7) OR ((((triple1 ((triple6 triple3) -> rule5)) -> rule1)) -> rule7) OR ((((triple3 ((triple6 triple3) -> rule5)) -> rule3)) -> rule7))] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple2) -> rule4) OR ((((triple1 triple7) -> rule1)) -> rule4) OR ((((triple3 triple7) -> rule3)) -> rule4))] Bob is white.[(triple7 OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple2) -> rule6)) -> rule5) OR ((((triple2) -> rule4) triple3) -> rule5) OR ((((triple2) -> rule4) ((triple2) -> rule6)) -> rule5))] Harry is cold.[(triple8 OR ((triple13 triple11) -> rule2) OR ((triple13 ((triple9) -> rule7)) -> rule2) OR ((((triple9) -> rule4) triple11) -> rule2) OR ((((triple9) -> rule4) ((triple9) -> rule7)) -> rule2) OR ((triple13 ((((triple10 triple14) -> rule3)) -> rule7)) -> rule2) OR ((((((triple10 triple14) -> rule3)) -> rule4) triple11) -> rule2) OR ((((triple9) -> rule4) ((((triple10 triple14) -> rule3)) -> rule7)) -> rule2) OR ((((((triple10 triple14) -> rule3)) -> rule4) ((triple9) -> rule7)) -> rule2) OR ((((((triple10 triple14) -> rule3)) -> rule4) ((((triple10 triple14) -> rule3)) -> rule7)) -> rule2) OR ((triple13 ((((triple10 ((triple13 triple10) -> rule5)) -> rule3)) -> rule7)) -> rule2) OR ((((triple9) -> rule4) ((((triple10 ((triple13 triple10) -> rule5)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple10 triple14) -> rule3)) -> rule4) ((((triple10 ((triple13 triple10) -> rule5)) -> rule3)) -> rule7)) -> rule2))] Harry is kind.[(triple9 OR ((triple10 triple14) -> rule3) OR ((triple8 triple14) -> rule1) OR ((triple10 ((triple13 triple10) -> rule5)) -> rule3) OR ((triple8 ((triple13 triple10) -> rule5)) -> rule1) OR ((((triple13 triple11) -> rule2) triple14) -> rule1) OR ((((triple13 triple11) -> rule2) ((triple13 triple10) -> rule5)) -> rule1))] Harry is red.[(triple10 OR ((triple9) -> rule6) OR ((((triple8 triple14) -> rule1)) -> rule6) OR ((((((triple13 triple11) -> rule2) triple14) -> rule1)) -> rule6))] Harry is rough.[(triple11 OR ((triple8) -> rule8) OR ((triple9) -> rule7) OR ((((triple10 triple14) -> rule3)) -> rule7) OR ((((triple8 triple14) -> rule1)) -> rule7) OR ((((triple10 ((triple13 triple10) -> rule5)) -> rule3)) -> rule7) OR ((((triple8 ((triple13 triple10) -> rule5)) -> rule1)) -> rule7))] Harry is round.[(triple12)] Harry is smart.[(triple13 OR ((triple9) -> rule4) OR ((((triple10 triple14) -> rule3)) -> rule4) OR ((((triple8 triple14) -> rule1)) -> rule4))] Harry is white.[(triple14 OR ((triple13 triple10) -> rule5) OR ((triple13 ((triple9) -> rule6)) -> rule5) OR ((((triple9) -> rule4) triple10) -> rule5) OR ((((triple9) -> rule4) ((triple9) -> rule6)) -> rule5))]