The cat visits the tiger. The lion eats the tiger. The lion does not visit the tiger. The rabbit eats the cat. The rabbit eats the tiger. The rabbit is nice. The tiger is round. If something is rough and not cold then it does not eat the tiger. If something visits the cat and the cat does not eat the lion then the lion is rough. If something visits the cat then the cat eats the rabbit. If something eats the rabbit then the rabbit is blue. If something eats the tiger then the tiger is blue. If something likes the tiger then the tiger eats the rabbit. If something likes the rabbit then it visits the lion. If something visits the tiger and the tiger is blue then the tiger does not eat the cat. If something is blue then it visits the cat.
The tiger is not cold.
@0: The cat visits the tiger.[(triple1)] The lion does not visit the tiger.[(triple3)] The lion eats the tiger.[(triple2)] The rabbit eats the cat.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is nice.[(triple6)] The tiger is round.[(triple7)] @1: The tiger is blue.[(((triple2) -> rule5) OR ((triple5) -> rule5))] @2: The tiger does not eat the cat.[(((triple1 ((triple2) -> rule5)) -> rule8) OR ((triple1 ((triple5) -> rule5)) -> rule8))] The tiger visits the cat.[(((((triple2) -> rule5)) -> rule9) OR ((((triple5) -> rule5)) -> rule9))] @3: The cat eats the rabbit.[(((((((triple2) -> rule5)) -> rule9)) -> rule3) OR ((((((triple5) -> rule5)) -> rule9)) -> rule3))] @4: The rabbit is blue.[(((((((((triple2) -> rule5)) -> rule9)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule3)) -> rule4))] @5: The rabbit visits the cat.[(((((((((((triple2) -> rule5)) -> rule9)) -> rule3)) -> rule4)) -> rule9) OR ((((((((((triple5) -> rule5)) -> rule9)) -> rule3)) -> rule4)) -> rule9))]