The cat chases the tiger. The cat is nice. The cat is round. The rabbit chases the cat. The rabbit is rough. The rabbit is round. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is round. The tiger visits the cat. If someone is round and green then they eat the rabbit. Round people are rough. If the tiger eats the rabbit and the rabbit chases the tiger then the tiger visits the rabbit. If someone eats the tiger then they are round. Rough people are green. If someone visits the tiger and they are green then the tiger visits the rabbit.
The cat eats the cat.
@0: The cat chases the tiger.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit is rough.[(triple5 OR ((triple6) -> rule2))] The rabbit is round.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger eats the rabbit.[(triple8 OR ((triple9 ((((triple9) -> rule2)) -> rule5)) -> rule1))] The tiger is round.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat is rough.[(((triple3) -> rule2))] The rabbit is green.[(((triple5) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] The tiger is rough.[(((triple9) -> rule2))] @2: The cat is green.[(((((triple3) -> rule2)) -> rule5))] The rabbit eats the rabbit.[(((triple6 ((triple5) -> rule5)) -> rule1) OR ((triple6 ((((triple6) -> rule2)) -> rule5)) -> rule1))] The tiger is green.[(((((triple9) -> rule2)) -> rule5))] The tiger visits the rabbit.[(((triple7 ((triple5) -> rule5)) -> rule6) OR ((triple7 ((((triple6) -> rule2)) -> rule5)) -> rule6))] @3: The cat eats the rabbit.[(((triple3 ((((triple3) -> rule2)) -> rule5)) -> rule1))]