The cat chases the lion. The cat eats the lion. The cat is green. The cat is red. The cat sees the lion. The lion chases the cat. The lion eats the cat. The lion is big. The lion is kind. The lion sees the cat. If the lion chases the cat and the lion sees the cat then the lion is big. If something eats the lion then the lion eats the cat. If something sees the cat and it sees the lion then it eats the lion. If something is kind and it eats the cat then the cat chases the lion. If something is green then it is red. If something is big and it sees the cat then it sees the lion. If something eats the lion then it chases the lion. If something is green and it sees the cat then it chases the cat.
The cat does not see the cat.
@0: The cat chases the lion.[(triple1 OR ((triple2) -> rule7) OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple2) -> rule2)) -> rule4) OR ((triple9 ((((triple10 ((triple8 triple10) -> rule6)) -> rule3)) -> rule2)) -> rule4) OR ((triple9 ((((triple10 ((((triple6 triple10) -> rule1) triple10) -> rule6)) -> rule3)) -> rule2)) -> rule4))] The cat eats the lion.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4 OR ((triple3) -> rule5))] The cat sees the lion.[(triple5)] The lion chases the cat.[(triple6)] The lion eats the cat.[(triple7 OR ((triple2) -> rule2) OR ((((triple10 ((triple8 triple10) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((triple6 triple10) -> rule1) triple10) -> rule6)) -> rule3)) -> rule2))] The lion is big.[(triple8 OR ((triple6 triple10) -> rule1))] The lion is kind.[(triple9)] The lion sees the cat.[(triple10)] @1: The lion sees the lion.[(((triple8 triple10) -> rule6) OR ((((triple6 triple10) -> rule1) triple10) -> rule6))] @2: The lion eats the lion.[(((triple10 ((triple8 triple10) -> rule6)) -> rule3) OR ((triple10 ((((triple6 triple10) -> rule1) triple10) -> rule6)) -> rule3))] @3: The lion chases the lion.[(((((triple10 ((triple8 triple10) -> rule6)) -> rule3)) -> rule7) OR ((((triple10 ((((triple6 triple10) -> rule1) triple10) -> rule6)) -> rule3)) -> rule7))]