The rabbit chases the tiger. The rabbit is rough. The rabbit likes the tiger. The rabbit visits the tiger. The tiger chases the rabbit. The tiger is big. The tiger is blue. The tiger is cold. The tiger is red. The tiger is rough. The tiger likes the rabbit. The tiger visits the rabbit. If something visits the rabbit and the rabbit likes the tiger then the tiger likes the rabbit. If something visits the tiger and it is blue then it visits the rabbit. If something is blue then it visits the tiger. If something is rough then it chases the rabbit. If something is blue then it is big. If something chases the rabbit then it is blue.
The tiger likes the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is rough.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit visits the tiger.[(triple4 OR ((((((triple2) -> rule4)) -> rule6)) -> rule3))] The tiger chases the rabbit.[(triple5 OR ((triple10) -> rule4))] The tiger is big.[(triple6 OR ((triple7) -> rule5) OR ((((triple5) -> rule6)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6)) -> rule5))] The tiger is blue.[(triple7 OR ((triple5) -> rule6) OR ((((triple10) -> rule4)) -> rule6))] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the rabbit.[(triple11 OR ((triple12 triple3) -> rule1) OR ((((((triple7) -> rule3) triple7) -> rule2) triple3) -> rule1) OR ((((((triple7) -> rule3) ((triple5) -> rule6)) -> rule2) triple3) -> rule1) OR ((((triple4 ((((triple2) -> rule4)) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((triple5) -> rule6)) -> rule3) triple7) -> rule2) triple3) -> rule1) OR ((((((triple7) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((triple5) -> rule6)) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((((triple10) -> rule4)) -> rule6)) -> rule3) triple7) -> rule2) triple3) -> rule1) OR ((((((((((triple10) -> rule4)) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((((triple10) -> rule4)) -> rule6)) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2) triple3) -> rule1) OR ((((((((((triple2) -> rule4)) -> rule6)) -> rule3) ((((triple2) -> rule4)) -> rule6)) -> rule2) triple3) -> rule1))] The tiger visits the rabbit.[(triple12 OR ((((triple7) -> rule3) triple7) -> rule2) OR ((((triple7) -> rule3) ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule3) triple7) -> rule2) OR ((((triple7) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6)) -> rule3) triple7) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6)) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2))] @1: The rabbit chases the rabbit.[(((triple2) -> rule4))] The tiger visits the tiger.[(((triple7) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple10) -> rule4)) -> rule6)) -> rule3))] @2: The rabbit is blue.[(((((triple2) -> rule4)) -> rule6))] @3: The rabbit is big.[(((((((triple2) -> rule4)) -> rule6)) -> rule5))] The rabbit visits the rabbit.[(((triple4 ((((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule6)) -> rule3) ((((triple2) -> rule4)) -> rule6)) -> rule2))]