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 kind. All kind, green people are nice. If someone is green and nice then they are cold. Kind people are green. If someone is kind then they are nice. If someone is green then they are blue.
The cat visits the cat.
@0: The cat is blue.[(triple1 OR ((triple3) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] The cat is cold.[(triple2 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple4) -> rule5)) -> rule3) OR ((triple3 ((triple4 triple3) -> rule2)) -> rule3) OR ((((triple4) -> rule4) triple5) -> rule3) OR ((((triple4) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple4) -> rule4) ((triple4 triple3) -> rule2)) -> rule3) OR ((triple3 ((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((triple3 ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((triple3 ((((triple1) -> rule1) triple3) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) triple5) -> rule3) OR ((triple3 ((((triple1) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple4 triple3) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((triple1) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((triple1) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((triple3 ((triple4 ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6)) -> rule1) triple3) -> rule2)) -> rule3) OR ((triple3 ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((triple4) -> rule4) ((triple4 ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((((triple3) -> rule6)) -> rule1) triple3) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6)) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((triple4 ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule1) triple3) -> rule2)) -> rule3) OR ((((triple4) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule3))] The cat is green.[(triple3 OR ((triple4) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] The cat is kind.[(triple4 OR ((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] The cat is nice.[(triple5 OR ((triple4) -> rule5) OR ((triple4 triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule5) OR ((triple4 ((triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule2) OR ((((triple1) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((triple4 ((((triple1) -> rule1)) -> rule4)) -> rule2) OR ((((((triple3) -> rule6)) -> rule1) triple3) -> rule2) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2) OR ((((((triple3) -> rule6)) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((triple3) -> rule6)) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule2))]