The cat eats the mouse. The cat is big. The cat is kind. The cat is nice. The cat likes the mouse. The cat visits the mouse. The cat visits the rabbit. The mouse likes the cat. The mouse likes the rabbit. The mouse visits the cat. The rabbit is blue. The rabbit is nice. The rabbit likes the cat. The rabbit likes the mouse. The rabbit visits the cat. The rabbit visits the mouse. If something eats the mouse and the mouse is blue then the mouse is kind. Big things are nice. If something is big and it likes the mouse then it is blue. If something is big and nice then it visits the mouse. If something likes the rabbit then it is blue. If something is round and it eats the rabbit then it likes the rabbit. If something eats the mouse then the mouse is big. If something eats the cat and it is big then it likes the cat.
The mouse does not visit the rabbit.
@0: The cat eats the mouse.[(triple1)] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4 OR ((triple2) -> rule2))] The cat likes the mouse.[(triple5)] The cat visits the mouse.[(triple6 OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple2) -> rule2)) -> rule4))] The cat visits the rabbit.[(triple7)] The mouse likes the cat.[(triple8)] The mouse likes the rabbit.[(triple9)] The mouse visits the cat.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is nice.[(triple12)] The rabbit likes the cat.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The cat is blue.[(((triple2 triple5) -> rule3))] The mouse is big.[(((triple1) -> rule7))] The mouse is blue.[(((triple9) -> rule5))] @2: The mouse is kind.[(((triple1 ((triple9) -> rule5)) -> rule1))] The mouse is nice.[(((((triple1) -> rule7)) -> rule2))] @3: The mouse visits the mouse.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule2)) -> rule4))]