The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle visits the mouse. The cat sees the mouse. The cat visits the dog. The dog eats the cat. The dog is red. The dog sees the cat. The mouse eats the dog. The mouse visits the cat. The mouse visits the dog. If the cat eats the mouse and the mouse visits the bald eagle then the mouse is round. If something sees the mouse then the mouse sees the cat. If something sees the mouse and the mouse eats the dog then the dog is red. If something visits the mouse then it sees the bald eagle. If the cat visits the mouse then the mouse is young. If something visits the cat and the cat is green then it sees the mouse.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
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 is red.
("dog" "is" "red" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If the cat eats the mouse and the mouse visits the bald eagle then the mouse is round.
((("cat" "eats" "mouse" "+") ("mouse" "visits" "bald eagle" "+")) -> ("mouse" "is" "round" "+"))
If something sees the mouse then the mouse sees the cat.
((("something" "sees" "mouse" "+")) -> ("mouse" "sees" "cat" "+"))
If something sees the mouse and the mouse eats the dog then the dog is red.
((("something" "sees" "mouse" "+") ("mouse" "eats" "dog" "+")) -> ("dog" "is" "red" "+"))
If something visits the mouse then it sees the bald eagle.
((("something" "visits" "mouse" "+")) -> ("something" "sees" "bald eagle" "+"))
If the cat visits the mouse then the mouse is young.
((("cat" "visits" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If something visits the cat and the cat is green then it sees the mouse.
((("something" "visits" "cat" "+") ("cat" "is" "green" "+")) -> ("something" "sees" "mouse" "+"))
The bald eagle is cold.
True
1
proof
[(triple4)]
("bald eagle" "is" "cold" "+")
triple4
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple7)]
("bald eagle" "visits" "mouse" "-")
triple7
The bald eagle sees the bald eagle.
True
2
proof
[(((triple7) -> rule4))]
("bald eagle" "sees" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple7) -> rule4))]
("bald eagle" "sees" "bald eagle" "-")
((triple7) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "sees" "mouse" "-")
The bald eagle sees the mouse.
Unknown
rconc
[@1: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "mouse" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The bald eagle sees the cat.
Unknown
random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle visits the mouse.[(triple7)] The cat sees the mouse.[(triple8)] The cat visits the dog.[(triple9)] The dog eats the cat.[(triple10)] The dog is red.[(triple11 OR ((triple8 triple13) -> rule3))] The dog sees the cat.[(triple12)] The mouse eats the dog.[(triple13)] The mouse visits the cat.[(triple14)] The mouse visits the dog.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple7) -> rule4))] The mouse sees the cat.[(((triple8) -> rule2))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple7
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple8
The cat visits the dog.
("cat" "visits" "dog" "+")
triple9
The dog eats the cat.
("dog" "eats" "cat" "+")
triple10
The dog is red.
("dog" "is" "red" "+")
triple11
((triple8 triple13) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
triple12
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple13
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple14
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple15
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse sees the cat.
("mouse" "sees" "cat" "+")
((triple8) -> (rule2 % int1))
The mouse sees the cat.
("mouse" "sees" "cat" "+")
int1