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