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