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