The bald eagle is red. The bald eagle is not round. The bald eagle needs the cow. The bald eagle needs the dog. The cow is blue. The cow is green. The cow needs the bald eagle. The cow needs the dog. The cow sees the bald eagle. The cow sees the dog. The cow does not visit the bald eagle. The dog is red. The dog needs the cow. The dog does not see the bald eagle. The dog sees the cow. The dog visits the cow. If something sees the dog then it is rough. If something needs the bald eagle then it visits the cow.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
The dog is red.
("dog" "is" "red" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something sees the dog then it is rough.
((("something" "sees" "dog" "+")) -> ("something" "is" "rough" "+"))
If something needs the bald eagle then it visits the cow.
((("something" "needs" "bald eagle" "+")) -> ("something" "visits" "cow" "+"))
The dog visits the cow.
True
1
proof
[(triple16)]
("dog" "visits" "cow" "+")
triple16
The cow is not green.
False
1
inv-proof
[(triple6)]
("cow" "is" "green" "-")
triple6
The cow visits the cow.
True
2
proof
[(((triple7) -> rule2))]
("cow" "visits" "cow" "+")
((triple7) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple10) -> rule1))]
("cow" "is" "rough" "-")
((triple10) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle sees the dog.
Unknown
random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "+")
@0: The bald eagle is not round.[(triple2)] The bald eagle is red.[(triple1)] The bald eagle needs the cow.[(triple3)] The bald eagle needs the dog.[(triple4)] The cow does not visit the bald eagle.[(triple11)] The cow is blue.[(triple5)] The cow is green.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow needs the dog.[(triple8)] The cow sees the bald eagle.[(triple9)] The cow sees the dog.[(triple10)] The dog does not see the bald eagle.[(triple14)] The dog is red.[(triple12)] The dog needs the cow.[(triple13)] The dog sees the cow.[(triple15)] The dog visits the cow.[(triple16)] @1: The cow is rough.[(((triple10) -> rule1))] The cow visits the cow.[(((triple7) -> rule2))]
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple11
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The cow needs the dog.
("cow" "needs" "dog" "+")
triple8
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple9
The cow sees the dog.
("cow" "sees" "dog" "+")
triple10
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
triple14
The dog is red.
("dog" "is" "red" "+")
triple12
The dog needs the cow.
("dog" "needs" "cow" "+")
triple13
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The dog visits the cow.
("dog" "visits" "cow" "+")
triple16
The cow is rough.
("cow" "is" "rough" "+")
((triple10) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple7) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1