The bald eagle is blue. The bald eagle is rough. The bear eats the bald eagle. The bear needs the bald eagle. The bear needs the dog. The bear sees the bald eagle. The bear sees the dog. The dog eats the bald eagle. The dog is blue. The dog needs the bear. If something sees the bald eagle then it is young. If something needs the dog then it needs the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something sees the bald eagle then it is young.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something needs the dog then it needs the bald eagle.
((("something" "needs" "dog" "+")) -> ("something" "needs" "bald eagle" "+"))
The dog is blue.
True
1
proof
[(triple9)]
("dog" "is" "blue" "+")
triple9
The bear does not need the bald eagle.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule2))]
("bear" "needs" "bald eagle" "-")
triple4
((triple5) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear needs the bald eagle.[(triple4 OR ((triple5) -> rule2))] The bear needs the dog.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear sees the dog.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog is blue.[(triple9)] The dog needs the bear.[(triple10)] @1: The bear is young.[(((triple6) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
((triple5) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The bear sees the dog.
("bear" "sees" "dog" "+")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The bear is young.
("bear" "is" "young" "+")
((triple6) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1