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