The bald eagle is round. The cat eats the dog. The cat is not blue. The cat does not like the mouse. The cat does not see the dog. The cat sees the mouse. The dog does not eat the cat. The dog is blue. The dog is rough. The dog sees the cat. The mouse likes the dog. The mouse does not see the bald eagle. If something is big then it does not like the bald eagle. If something is round then it does not see the cat. If something likes the mouse and it likes the dog then the mouse eats the dog.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
The cat does not see the dog.
("cat" "sees" "dog" "-")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The dog does not eat the cat.
("dog" "eats" "cat" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
If something is big then it does not like the bald eagle.
((("something" "is" "big" "+")) -> ("something" "likes" "bald eagle" "-"))
If something is round then it does not see the cat.
((("something" "is" "round" "+")) -> ("something" "sees" "cat" "-"))
If something likes the mouse and it likes the dog then the mouse eats the dog.
((("something" "likes" "mouse" "+") ("something" "likes" "dog" "+")) -> ("mouse" "eats" "dog" "+"))
The cat does not see the dog.
True
1
proof
[(triple5)]
("cat" "sees" "dog" "-")
triple5
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The mouse does not eat the dog.
Unknown
inv-rconc
[@1: The mouse eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "dog" "-")
The mouse eats the cat.
Unknown
random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "+")
@0: The bald eagle is round.[(triple1)] The cat does not like the mouse.[(triple4)] The cat does not see the dog.[(triple5)] The cat eats the dog.[(triple2)] The cat is not blue.[(triple3)] The cat sees the mouse.[(triple6)] The dog does not eat the cat.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The dog sees the cat.[(triple10)] The mouse does not see the bald eagle.[(triple12)] The mouse likes the dog.[(triple11)] @1: The bald eagle does not see the cat.[(((triple1) -> rule2))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
triple4
The cat does not see the dog.
("cat" "sees" "dog" "-")
triple5
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is not blue.
("cat" "is" "blue" "-")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple6
The dog does not eat the cat.
("dog" "eats" "cat" "-")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog sees the cat.
("dog" "sees" "cat" "+")
triple10
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
triple12
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple11
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
((triple1) -> (rule2 % int1))
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
int1