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