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