Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is not young. Charlie is not cold. Charlie is not kind. Charlie is not quiet. Charlie is white. Charlie is young. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is white. Harry is young. All young, green things are white. Quiet things are white. If something is young and kind then it is white. All red things are kind. If something is cold then it is kind. Green things are red.
Charlie is white.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule5) OR ((((triple2) -> rule6)) -> rule4))] Bob is not young.[(triple5)] Bob is quiet.[(triple4)] Charlie is not cold.[(triple6)] Charlie is not kind.[(triple7)] Charlie is not quiet.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13 OR ((triple11) -> rule5) OR ((triple14) -> rule4) OR ((((triple12) -> rule6)) -> rule4))] Harry is red.[(triple14 OR ((triple12) -> rule6))] Harry is white.[(triple15 OR ((triple16 triple12) -> rule1) OR ((triple16 triple13) -> rule3) OR ((triple16 ((triple11) -> rule5)) -> rule3) OR ((triple16 ((triple14) -> rule4)) -> rule3) OR ((triple16 ((((triple12) -> rule6)) -> rule4)) -> rule3))] Harry is young.[(triple16)] @1: Bob is red.[(((triple2) -> rule6))] Bob is white.[(((triple4) -> rule2))]