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