Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. If someone is green and rough then they are blue. Kind, red people are cold. If Bob is cold then Bob is quiet. All green people are quiet. If Bob is green and Bob is kind then Bob is blue. If Bob is quiet and Bob is rough then Bob is green. All blue people are cold. If someone is red then they are cold.
Bob is quiet.
@0: Bob is blue.[(triple1 OR ((triple3 triple4) -> rule5) OR ((triple3 triple7) -> rule1) OR ((((triple5 triple7) -> rule6) triple4) -> rule5) OR ((((triple5 triple7) -> rule6) triple7) -> rule1) OR ((((((triple2) -> rule3) triple7) -> rule6) triple4) -> rule5) OR ((((((triple2) -> rule3) triple7) -> rule6) triple7) -> rule1) OR ((((((((triple6) -> rule8)) -> rule3) triple7) -> rule6) triple4) -> rule5) OR ((((((((triple6) -> rule8)) -> rule3) triple7) -> rule6) triple7) -> rule1) OR ((((((((triple4 triple6) -> rule2)) -> rule3) triple7) -> rule6) triple4) -> rule5) OR ((((((((triple4 triple6) -> rule2)) -> rule3) triple7) -> rule6) triple7) -> rule1))] Bob is cold.[(triple2 OR ((triple1) -> rule7) OR ((triple6) -> rule8) OR ((triple4 triple6) -> rule2) OR ((((triple3 triple4) -> rule5)) -> rule7) OR ((((triple3 triple7) -> rule1)) -> rule7) OR ((((((triple5 triple7) -> rule6) triple4) -> rule5)) -> rule7) OR ((((((triple5 triple7) -> rule6) triple7) -> rule1)) -> rule7))] Bob is green.[(triple3 OR ((triple5 triple7) -> rule6) OR ((((triple2) -> rule3) triple7) -> rule6) OR ((((((triple1) -> rule7)) -> rule3) triple7) -> rule6) OR ((((((triple6) -> rule8)) -> rule3) triple7) -> rule6) OR ((((((triple4 triple6) -> rule2)) -> rule3) triple7) -> rule6))] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple6) -> rule8)) -> rule3) OR ((((triple4 triple6) -> rule2)) -> rule3) OR ((((((triple3 triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3 triple7) -> rule1)) -> rule7)) -> rule3))] Bob is red.[(triple6)] Bob is rough.[(triple7)] Harry is blue.[(triple8 OR ((triple10 triple14) -> rule1))] Harry is cold.[(triple9 OR ((triple13) -> rule8) OR ((triple8) -> rule7) OR ((triple11 triple13) -> rule2) OR ((((triple10 triple14) -> rule1)) -> rule7))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple10) -> rule4))] Harry is red.[(triple13)] Harry is rough.[(triple14)]