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