The cat chases the rabbit. The cat is big. The cat likes the rabbit. The rabbit chases the cat. The rabbit is big. The rabbit is rough. The rabbit likes the cat. If the cat likes the rabbit then the cat eats the rabbit. If something likes the rabbit then the rabbit likes the cat. If something eats the cat then the cat chases the rabbit. If something eats the rabbit then it eats the cat. If the cat is rough then the cat is green. If something eats the rabbit and it is big then it chases the rabbit. If something chases the cat and the cat is rough then it is green. If something eats the cat and it chases the rabbit then the rabbit eats the cat.
The rabbit chases the rabbit.
@0: The cat chases the rabbit.[(triple1 OR ((((triple3) -> rule1) triple2) -> rule6) OR ((((((triple3) -> rule1)) -> rule4)) -> rule3))] The cat is big.[(triple2)] The cat likes the rabbit.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit is big.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the cat.[(triple7 OR ((triple3) -> rule2))] @1: The cat eats the rabbit.[(((triple3) -> rule1))] @2: The cat eats the cat.[(((((triple3) -> rule1)) -> rule4))] @3: The rabbit eats the cat.[(((((((triple3) -> rule1)) -> rule4) triple1) -> rule8) OR ((((((triple3) -> rule1)) -> rule4) ((((triple3) -> rule1) triple2) -> rule6)) -> rule8) OR ((((((triple3) -> rule1)) -> rule4) ((((((triple3) -> rule1)) -> rule4)) -> rule3)) -> rule8))]