The cat is round. The cat is young. The cat likes the dog. The cat likes the mouse. The cat needs the dog. The cat sees the dog. The dog is blue. The dog is red. The dog likes the cat. The dog likes the mouse. The dog needs the mouse. The dog sees the cat. The dog sees the mouse. The mouse is big. The mouse likes the cat. If something likes the cat then it sees the cat. If something likes the mouse and the mouse sees the cat then it is big. If something sees the mouse then the mouse is young. If something likes the dog and the dog needs the cat then the dog likes the cat. If something is round and big then it sees the cat. If something is young and it needs the mouse then the mouse sees the cat.
The mouse sees the cat.
@0: The cat is round.[(triple1)] The cat is young.[(triple2)] The cat likes the dog.[(triple3)] The cat likes the mouse.[(triple4)] The cat needs the dog.[(triple5)] The cat sees the dog.[(triple6)] The dog is blue.[(triple7)] The dog is red.[(triple8)] The dog likes the cat.[(triple9)] The dog likes the mouse.[(triple10)] The dog needs the mouse.[(triple11)] The dog sees the cat.[(triple12 OR ((triple9) -> rule1))] The dog sees the mouse.[(triple13)] The mouse is big.[(triple14)] The mouse likes the cat.[(triple15)] @1: The mouse is young.[(((triple13) -> rule3))] The mouse sees the cat.[(((triple15) -> rule1))] @2: The cat is big.[(((triple4 ((triple15) -> rule1)) -> rule2))] The dog is big.[(((triple10 ((triple15) -> rule1)) -> rule2))] @3: The cat sees the cat.[(((triple1 ((triple4 ((triple15) -> rule1)) -> rule2)) -> rule5))]