Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. If something is red then it is cold. All nice, cold things are red. If something is rough and kind then it is nice. All red, quiet things are blue. If something is nice then it is red. All red things are blue.
Bob is not blue.
@0: Bob is blue.[(triple1 OR ((triple6) -> rule6) OR ((triple6 triple5) -> rule4) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple4 triple2) -> rule2)) -> rule6) OR ((((triple4) -> rule5) triple5) -> rule4) OR ((((triple4 triple2) -> rule2) triple5) -> rule4) OR ((((((triple7 triple3) -> rule3)) -> rule5)) -> rule6) OR ((((((triple7 triple3) -> rule3) triple2) -> rule2)) -> rule6) OR ((((((triple7 triple3) -> rule3)) -> rule5) triple5) -> rule4) OR ((((((triple7 triple3) -> rule3) triple2) -> rule2) triple5) -> rule4))] Bob is cold.[(triple2 OR ((triple6) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((triple7 triple3) -> rule3)) -> rule5)) -> rule1))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple7 triple3) -> rule3))] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule5) OR ((triple4 triple2) -> rule2) OR ((((triple7 triple3) -> rule3)) -> rule5) OR ((((triple7 triple3) -> rule3) triple2) -> rule2))] Bob is rough.[(triple7)]