The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is red. If the cat is blue and the cat is red then the cat is green. If something is red then it is cold. All blue, cold things are red. If the cat is kind and the cat is cold then the cat is blue. If something is red and cold then it is green. Red things are cold.
The cat is not green.
@0: The cat is blue.[(triple1 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple5) -> rule2)) -> rule4) OR ((triple4 ((triple5) -> rule6)) -> rule4))] The cat is cold.[(triple2 OR ((triple5) -> rule2) OR ((triple5) -> rule6))] The cat is green.[(triple3 OR ((triple1 triple5) -> rule1) OR ((triple5 triple2) -> rule5) OR ((triple1 ((triple1 triple2) -> rule3)) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule3) triple2) -> rule5) OR ((((triple4 triple2) -> rule4) triple5) -> rule1) OR ((((triple1 triple2) -> rule3) ((triple5) -> rule2)) -> rule5) OR ((((triple1 triple2) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple4 triple2) -> rule4) ((triple1 triple2) -> rule3)) -> rule1) OR ((triple1 ((((triple4 triple2) -> rule4) triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple5) -> rule2)) -> rule4) triple5) -> rule1) OR ((((triple4 ((triple5) -> rule6)) -> rule4) triple5) -> rule1) OR ((((((triple4 triple2) -> rule4) triple2) -> rule3) triple2) -> rule5) OR ((((triple4 triple2) -> rule4) ((((triple4 triple2) -> rule4) triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple5) -> rule2)) -> rule4) ((triple1 triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple5) -> rule6)) -> rule4) ((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple4 triple2) -> rule4) triple2) -> rule3) ((triple5) -> rule2)) -> rule5) OR ((((((triple4 triple2) -> rule4) triple2) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple4 ((triple5) -> rule2)) -> rule4) ((((triple4 triple2) -> rule4) triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple5) -> rule6)) -> rule4) ((((triple4 triple2) -> rule4) triple2) -> rule3)) -> rule1))] The cat is kind.[(triple4)] The cat is red.[(triple5 OR ((triple1 triple2) -> rule3) OR ((((triple4 triple2) -> rule4) triple2) -> rule3))]