The cow sees the tiger. The rabbit is blue. The tiger is not nice. If something is cold then it does not chase the cow. If something sees the tiger and it sees the rabbit then the tiger is not big. If something is big then it sees the rabbit. If something likes the rabbit then the rabbit is big. If something is blue then it likes the rabbit. If the cow sees the rabbit and the cow does not like the rabbit then the rabbit chases the cow.
The tiger does not like the rabbit.
@0: The cow sees the tiger.[(triple1)] The rabbit is blue.[(triple2)] The tiger is not nice.[(triple3)] @1: The rabbit likes the rabbit.[(((triple2) -> rule5))] @2: The rabbit is big.[(((((triple2) -> rule5)) -> rule4))] @3: The rabbit sees the rabbit.[(((((((triple2) -> rule5)) -> rule4)) -> rule3))]