The cat does not chase the rabbit. The cat is blue. The cat is red. The cat visits the tiger. The mouse is green. The mouse likes the rabbit. The rabbit is blue. The tiger is green. The tiger is rough. The tiger likes the rabbit. Blue people are red. If someone is red then they chase the mouse. If someone likes the mouse and the mouse chases the cat then the mouse does not like the tiger. If someone is rough then they like the tiger. If someone is green then they are blue. If someone likes the cat and they do not like the mouse then the cat does not chase the rabbit.
The tiger is rough.
@0: The cat does not chase the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat is red.[(triple3 OR ((triple2) -> rule1))] The cat visits the tiger.[(triple4)] The mouse is green.[(triple5)] The mouse likes the rabbit.[(triple6)] The rabbit is blue.[(triple7)] The tiger is green.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the rabbit.[(triple10)] @1: The cat chases the mouse.[(((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] The mouse is blue.[(((triple5) -> rule5))] The rabbit is red.[(((triple7) -> rule1))] The tiger is blue.[(((triple8) -> rule5))] The tiger likes the tiger.[(((triple9) -> rule4))] @2: The mouse is red.[(((((triple5) -> rule5)) -> rule1))] The rabbit chases the mouse.[(((((triple7) -> rule1)) -> rule2))] The tiger is red.[(((((triple8) -> rule5)) -> rule1))] @3: The mouse chases the mouse.[(((((((triple5) -> rule5)) -> rule1)) -> rule2))] The tiger chases the mouse.[(((((((triple8) -> rule5)) -> rule1)) -> rule2))]