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