The cat eats the dog. The cat eats the mouse. The cat is green. The cat is nice. The cat sees the mouse. The cat visits the dog. The dog eats the cat. The dog eats the mouse. The dog sees the cat. The dog visits the mouse. The mouse is blue. The mouse is nice. The mouse sees the cat. The mouse sees the dog. The mouse visits the cat. If something eats the cat and it is big then the cat is big. If something eats the dog and the dog is big then it sees the mouse. If something sees the cat and it sees the mouse then the cat visits the dog. If something is blue then it visits the cat. If something eats the mouse and the mouse is nice then it eats the dog. If the cat is big and the cat visits the mouse then the mouse visits the cat. If something eats the mouse and it sees the dog then the dog is young. If something eats the mouse then it is young.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If something eats the cat and it is big then the cat is big.
((("something" "eats" "cat" "+") ("something" "is" "big" "+")) -> ("cat" "is" "big" "+"))
If something eats the dog and the dog is big then it sees the mouse.
((("something" "eats" "dog" "+") ("dog" "is" "big" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the cat and it sees the mouse then the cat visits the dog.
((("something" "sees" "cat" "+") ("something" "sees" "mouse" "+")) -> ("cat" "visits" "dog" "+"))
If something is blue then it visits the cat.
((("something" "is" "blue" "+")) -> ("something" "visits" "cat" "+"))
If something eats the mouse and the mouse is nice then it eats the dog.
((("something" "eats" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("something" "eats" "dog" "+"))
If the cat is big and the cat visits the mouse then the mouse visits the cat.
((("cat" "is" "big" "+") ("cat" "visits" "mouse" "+")) -> ("mouse" "visits" "cat" "+"))
If something eats the mouse and it sees the dog then the dog is young.
((("something" "eats" "mouse" "+") ("something" "sees" "dog" "+")) -> ("dog" "is" "young" "+"))
If something eats the mouse then it is young.
((("something" "eats" "mouse" "+")) -> ("something" "is" "young" "+"))
The cat is nice.
True
1
proof
[(triple4)]
("cat" "is" "nice" "+")
triple4
The dog does not eat the mouse.
False
1
inv-proof
[(triple8)]
("dog" "eats" "mouse" "-")
triple8
The dog is young.
True
2
proof
[(((triple8) -> rule8))]
("dog" "is" "young" "+")
((triple8) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog does not eat the dog.
False
3
inv-proof
[(((triple8 triple12) -> rule5))]
("dog" "eats" "dog" "-")
((triple8 triple12) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "is" "young" "-")
The dog visits the cat.
Unknown
rconc
[@1: The dog visits the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "visits" "cat" "+")
The mouse does not visit the dog.
Unknown
inv-random
[@0: The mouse visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "dog" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the dog.[(triple1 OR ((triple2 triple12) -> rule5))] The cat eats the mouse.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the dog.[(triple6)] The dog eats the cat.[(triple7)] The dog eats the mouse.[(triple8)] The dog sees the cat.[(triple9)] The dog visits the mouse.[(triple10)] The mouse is blue.[(triple11)] The mouse is nice.[(triple12)] The mouse sees the cat.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the cat.[(triple15 OR ((triple11) -> rule4))] @1: The cat is young.[(((triple2) -> rule8))] The dog eats the dog.[(((triple8 triple12) -> rule5))] The dog is young.[(((triple8) -> rule8))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
((triple2 triple12) -> (rule5 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple7
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple8
The dog sees the cat.
("dog" "sees" "cat" "+")
triple9
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple13
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple14
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple15
((triple11) -> (rule4 % int1))
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule8 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple8 triple12) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple8) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1