The bald eagle likes the rabbit. The bald eagle needs the rabbit. The bear chases the tiger. The bear is big. The rabbit is not cold. The rabbit likes the bear. The tiger needs the bald eagle. If someone needs the rabbit then they are cold. If someone is cold then they are blue. If someone likes the bald eagle then the bald eagle does not need the bear. If the tiger chases the bald eagle then the tiger likes the rabbit. If someone chases the tiger then they do not chase the bald eagle. If the bear needs the tiger and the bear is not nice then the bear does not need the bald eagle. If someone is blue then they chase the bear. If someone chases the bald eagle then they need the rabbit.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone needs the rabbit then they are cold.
((("someone" "needs" "rabbit" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the bald eagle then the bald eagle does not need the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "-"))
If the tiger chases the bald eagle then the tiger likes the rabbit.
((("tiger" "chases" "bald eagle" "+")) -> ("tiger" "likes" "rabbit" "+"))
If someone chases the tiger then they do not chase the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("someone" "chases" "bald eagle" "-"))
If the bear needs the tiger and the bear is not nice then the bear does not need the bald eagle.
((("bear" "needs" "tiger" "+") ("bear" "is" "nice" "~")) -> ("bear" "needs" "bald eagle" "-"))
If someone is blue then they chase the bear.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the bald eagle then they need the rabbit.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "needs" "rabbit" "+"))
The bear chases the tiger.
True
1
proof
[(triple3)]
("bear" "chases" "tiger" "+")
triple3
The bear does not chase the tiger.
False
1
inv-proof
[(triple3)]
("bear" "chases" "tiger" "-")
triple3
The bear does not chase the bald eagle.
True
2
proof
[(((triple3) -> rule5))]
("bear" "chases" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is blue.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("bald eagle" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is not blue.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("bald eagle" "is" "blue" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the bear.
True
4
proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule7))]
("bald eagle" "chases" "bear" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not chase the bear.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule7))]
("bald eagle" "chases" "bear" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bear is not blue.
Unknown
inv-rconc
[@3: The bear is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule8 <- FAIL)]]
("bear" "is" "blue" "-")
The tiger chases the bear.
Unknown
rconc
[@4: The tiger chases the bear.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule1 <- rule8 <- FAIL)]]
("tiger" "chases" "bear" "+")
The rabbit does not chase the bear.
Unknown
inv-rconc
[@2: The rabbit chases the bear.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("rabbit" "chases" "bear" "-")
The bear needs the rabbit.
Unknown
rconc
[@1: The bear needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "needs" "rabbit" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The bald eagle does not chase the rabbit.
Unknown
inv-random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bear chases the tiger.[(triple3)] The bear is big.[(triple4)] The rabbit is not cold.[(triple5)] The rabbit likes the bear.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The bald eagle is cold.[(((triple2) -> rule1))] The bear does not chase the bald eagle.[(((triple3) -> rule5))] @2: The bald eagle is blue.[(((((triple2) -> rule1)) -> rule2))] @3: The bald eagle chases the bear.[(((((((triple2) -> rule1)) -> rule2)) -> rule7))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple6
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3