The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is nice. If someone is blue then they are cold. All blue, nice people are cold. If someone is nice then they are green. All kind people are nice. All cold, blue people are nice. If someone is kind and green then they are blue. If someone is nice then they are green. Nice people are blue.
The cat sees the cat.
@0: The cat is blue.[(triple1 OR ((triple5) -> rule8) OR ((triple4 triple3) -> rule6) OR ((((triple4) -> rule4)) -> rule8) OR ((triple4 ((triple5) -> rule3)) -> rule6) OR ((triple4 ((triple5) -> rule7)) -> rule6) OR ((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule6))] The cat is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule2) OR ((((triple5) -> rule8)) -> rule1) OR ((((triple4 triple3) -> rule6)) -> rule1) OR ((triple1 ((triple4) -> rule4)) -> rule2) OR ((((triple5) -> rule8) triple5) -> rule2) OR ((((triple4 triple3) -> rule6) triple5) -> rule2) OR ((((triple5) -> rule8) ((triple4) -> rule4)) -> rule2) OR ((((triple4 triple3) -> rule6) ((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule4)) -> rule8)) -> rule1) OR ((((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1) OR ((((triple4 ((triple5) -> rule7)) -> rule6)) -> rule1) OR ((((((triple4) -> rule4)) -> rule8) triple5) -> rule2) OR ((((triple4 ((triple5) -> rule3)) -> rule6) triple5) -> rule2) OR ((((triple4 ((triple5) -> rule7)) -> rule6) triple5) -> rule2) OR ((((((triple4) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule2) OR ((((triple4 ((triple5) -> rule3)) -> rule6) ((triple4) -> rule4)) -> rule2) OR ((((triple4 ((triple5) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule2) OR ((((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) OR ((((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule6)) -> rule1) OR ((((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule6) triple5) -> rule2) OR ((((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule6) triple5) -> rule2) OR ((((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule6) ((triple4) -> rule4)) -> rule2) OR ((((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule2))] The cat is green.[(triple3 OR ((triple5) -> rule3) OR ((triple5) -> rule7) OR ((((triple4) -> rule4)) -> rule3) OR ((((triple4) -> rule4)) -> rule7) OR ((((triple2 triple1) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule5)) -> rule7) OR ((((((triple1) -> rule1) triple1) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule5)) -> rule7))] The cat is kind.[(triple4)] The cat is nice.[(triple5 OR ((triple4) -> rule4) OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple4 triple3) -> rule6)) -> rule5) OR ((((triple1) -> rule1) triple1) -> rule5) OR ((((triple1) -> rule1) ((triple4 triple3) -> rule6)) -> rule5) OR ((((((triple4 triple3) -> rule6)) -> rule1) triple1) -> rule5) OR ((((((triple4 triple3) -> rule6)) -> rule1) ((triple4 triple3) -> rule6)) -> rule5))]