The cat is big. The dog is rough. The dog does not like the cat. The mouse is not blue. The mouse is nice. The mouse likes the cat. The mouse visits the cat. If the mouse likes the cat then the cat is not nice. If someone likes the dog then the dog does not eat the mouse. If the dog visits the cat then the dog eats the mouse. If someone is nice and big then they like the cat. Rough people are nice. If someone is nice then they do not like the dog. If the dog is not big and the dog does not like the cat then the dog is young. If someone is rough and they do not like the dog then the dog eats the cat.
The cat is rough.
@0: The cat is big.[(triple1)] The dog does not like the cat.[(triple3)] The dog is rough.[(triple2)] The mouse is nice.[(triple5)] The mouse is not blue.[(triple4)] The mouse likes the cat.[(triple6)] The mouse visits the cat.[(triple7)] @1: The cat is not nice.[(((triple6) -> rule1))] The dog is nice.[(((triple2) -> rule5))] The mouse does not like the dog.[(((triple5) -> rule6))] @2: The dog does not like the dog.[(((((triple2) -> rule5)) -> rule6))] @3: The dog eats the cat.[(((triple2 ((((triple2) -> rule5)) -> rule6)) -> rule8))]