The rabbit does not eat the tiger. The rabbit is not round. The rabbit likes the tiger. The rabbit sees the tiger. The tiger is red. The tiger likes the rabbit. The tiger sees the rabbit. If something is young and it does not see the tiger then it is round. If the rabbit is round and the rabbit does not eat the tiger then the rabbit does not like the tiger. If something likes the tiger and it is young then the tiger likes the rabbit. If something is red then it likes the rabbit. If something eats the rabbit then the rabbit is green. If something sees the tiger then it is young.
The tiger eats the tiger.
@0: The rabbit does not eat the tiger.[(triple1)] The rabbit is not round.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit sees the tiger.[(triple4)] The tiger is red.[(triple5)] The tiger likes the rabbit.[(triple6 OR ((triple5) -> rule4) OR ((triple3 ((triple4) -> rule6)) -> rule3))] The tiger sees the rabbit.[(triple7)] @1: The rabbit is young.[(((triple4) -> rule6))]