The cat chases the rabbit. The cat likes the mouse. The dog is blue. The dog is not cold. The dog likes the cat. The dog likes the mouse. The mouse is cold. The mouse does not like the cat. The rabbit chases the mouse. The rabbit is nice. If someone chases the dog then the dog likes the cat. If someone is nice and they eat the mouse then the mouse chases the dog. If someone likes the mouse then they are blue. If someone eats the cat and they chase the rabbit then the rabbit likes the mouse. If the dog eats the rabbit and the rabbit likes the mouse then the dog likes the mouse. If the cat chases the rabbit then the cat chases the dog. If someone eats the rabbit then they like the rabbit. If someone is blue then they eat the cat.
The cat likes the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat likes the mouse.[(triple2)] The dog is blue.[(triple3 OR ((triple6) -> rule3))] The dog is not cold.[(triple4)] The dog likes the cat.[(triple5 OR ((((triple1) -> rule6)) -> rule1))] The dog likes the mouse.[(triple6)] The mouse does not like the cat.[(triple8)] The mouse is cold.[(triple7)] The rabbit chases the mouse.[(triple9)] The rabbit is nice.[(triple10)] @1: The cat chases the dog.[(((triple1) -> rule6))] The cat is blue.[(((triple2) -> rule3))] The dog eats the cat.[(((triple3) -> rule8) OR ((((triple6) -> rule3)) -> rule8))] @2: The cat eats the cat.[(((((triple2) -> rule3)) -> rule8))] @3: The rabbit likes the mouse.[(((((((triple2) -> rule3)) -> rule8) triple1) -> rule4))] @4: The rabbit is blue.[(((((((((triple2) -> rule3)) -> rule8) triple1) -> rule4)) -> rule3))] @5: The rabbit eats the cat.[(((((((((((triple2) -> rule3)) -> rule8) triple1) -> rule4)) -> rule3)) -> rule8))]