The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit likes the tiger. The rabbit visits the tiger. The tiger likes the rabbit. If someone is red then they like the tiger. If someone is red then they are not young. If someone is red and they see the tiger then they visit the tiger. If someone is blue and not young then they see the tiger. If the tiger visits the rabbit and the rabbit visits the tiger then the tiger likes the rabbit. If someone likes the rabbit then the rabbit visits the tiger. If someone likes the rabbit then the rabbit visits the tiger. If someone is big and they see the tiger then the tiger sees the rabbit.
The tiger is big.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is red.[(triple4)] The rabbit likes the tiger.[(triple5 OR ((triple4) -> rule1))] The rabbit visits the tiger.[(triple6 OR ((triple7) -> rule6) OR ((triple7) -> rule7) OR ((triple4 ((triple2 ((triple4) -> rule2)) -> rule4)) -> rule3))] The tiger likes the rabbit.[(triple7)] @1: The rabbit is not young.[(((triple4) -> rule2))] @2: The rabbit sees the tiger.[(((triple2 ((triple4) -> rule2)) -> rule4))] @3: The tiger sees the rabbit.[(((triple1 ((triple2 ((triple4) -> rule2)) -> rule4)) -> rule8))]