The cat chases the lion. The cat is big. The cat is blue. The cat is green. The cat likes the lion. The cat visits the lion. The lion is green. The lion is red. The lion likes the cat. The lion visits the cat. If something visits the cat and the cat is green then it likes the cat. If something is cold then it chases the lion. If the lion chases the cat and the cat visits the lion then the lion is cold. If something is green and it likes the cat then it likes the lion. If something is green then it likes the lion. If something likes the lion and it likes the cat then the lion chases the cat.
The cat is blue.
@0: The cat chases the lion.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is green.[(triple4)] The cat likes the lion.[(triple5 OR ((triple4) -> rule5))] The cat visits the lion.[(triple6)] The lion is green.[(triple7)] The lion is red.[(triple8)] The lion likes the cat.[(triple9 OR ((triple10 triple4) -> rule1))] The lion visits the cat.[(triple10)] @1: The lion likes the lion.[(((triple7) -> rule5) OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple10 triple4) -> rule1)) -> rule4))] @2: The lion chases the cat.[(((((triple7) -> rule5) triple9) -> rule6) OR ((((triple7 triple9) -> rule4) triple9) -> rule6) OR ((((triple7) -> rule5) ((triple10 triple4) -> rule1)) -> rule6) OR ((((triple7 triple9) -> rule4) ((triple10 triple4) -> rule1)) -> rule6) OR ((((triple7 ((triple10 triple4) -> rule1)) -> rule4) triple9) -> rule6) OR ((((triple7 ((triple10 triple4) -> rule1)) -> rule4) ((triple10 triple4) -> rule1)) -> rule6))] @3: The lion is cold.[(((((((triple7) -> rule5) triple9) -> rule6) triple6) -> rule3) OR ((((((triple7 triple9) -> rule4) triple9) -> rule6) triple6) -> rule3) OR ((((((triple7) -> rule5) ((triple10 triple4) -> rule1)) -> rule6) triple6) -> rule3) OR ((((((triple7 triple9) -> rule4) ((triple10 triple4) -> rule1)) -> rule6) triple6) -> rule3) OR ((((((triple7 ((triple10 triple4) -> rule1)) -> rule4) triple9) -> rule6) triple6) -> rule3) OR ((((((triple7 ((triple10 triple4) -> rule1)) -> rule4) ((triple10 triple4) -> rule1)) -> rule6) triple6) -> rule3))] @4: The lion chases the lion.[(((((((((triple7) -> rule5) triple9) -> rule6) triple6) -> rule3)) -> rule2) OR ((((((((triple7 triple9) -> rule4) triple9) -> rule6) triple6) -> rule3)) -> rule2) OR ((((((((triple7) -> rule5) ((triple10 triple4) -> rule1)) -> rule6) triple6) -> rule3)) -> rule2) OR ((((((((triple7 triple9) -> rule4) ((triple10 triple4) -> rule1)) -> rule6) triple6) -> rule3)) -> rule2) OR ((((((((triple7 ((triple10 triple4) -> rule1)) -> rule4) triple9) -> rule6) triple6) -> rule3)) -> rule2) OR ((((((((triple7 ((triple10 triple4) -> rule1)) -> rule4) ((triple10 triple4) -> rule1)) -> rule6) triple6) -> rule3)) -> rule2))]