The bald eagle is cold. The bald eagle likes the tiger. The tiger likes the bald eagle. If the tiger likes the bald eagle then the bald eagle eats the tiger. If someone is green and they eat the tiger then they visit the bald eagle. If someone visits the bald eagle and they are not big then they visit the tiger. If someone eats the tiger then the tiger visits the bald eagle. If someone likes the tiger and the tiger visits the bald eagle then they are green. If someone is young and they eat the tiger then they like the tiger.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If the tiger likes the bald eagle then the bald eagle eats the tiger.
((("tiger" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone is green and they eat the tiger then they visit the bald eagle.
((("someone" "is" "green" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle and they are not big then they visit the tiger.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "big" "~")) -> ("someone" "visits" "tiger" "+"))
If someone eats the tiger then the tiger visits the bald eagle.
((("someone" "eats" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If someone likes the tiger and the tiger visits the bald eagle then they are green.
((("someone" "likes" "tiger" "+") ("tiger" "visits" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone is young and they eat the tiger then they like the tiger.
((("someone" "is" "young" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
The bald eagle is cold.
True
1
proof
[(triple1)]
("bald eagle" "is" "cold" "+")
triple1
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "tiger" "-")
triple2
The bald eagle eats the tiger.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "eats" "tiger" "+")
((triple3) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "eats" "tiger" "-")
((triple3) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The tiger visits the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule4))]
("tiger" "visits" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The tiger does not visit the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule4))]
("tiger" "visits" "bald eagle" "-")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The bald eagle is green.
True
5
proof
[(((triple2 ((((triple3) -> rule1)) -> rule4)) -> rule5))]
("bald eagle" "is" "green" "+")
((triple2 ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int3
The bald eagle is not green.
False
5
inv-proof
[(((triple2 ((((triple3) -> rule1)) -> rule4)) -> rule5))]
("bald eagle" "is" "green" "-")
((triple2 ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int3
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "visits" "tiger" "+")
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The tiger is green.
Unknown
rconc
[@2: The tiger is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("tiger" "is" "green" "+")
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the tiger.[(triple2)] The tiger likes the bald eagle.[(triple3)] @1: The bald eagle eats the tiger.[(((triple3) -> rule1))] @2: The tiger visits the bald eagle.[(((((triple3) -> rule1)) -> rule4))] @3: The bald eagle is green.[(((triple2 ((((triple3) -> rule1)) -> rule4)) -> rule5))] @4: The bald eagle visits the bald eagle.[(((((triple2 ((((triple3) -> rule1)) -> rule4)) -> rule5) ((triple3) -> rule1)) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple3
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple3) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple2 ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple2 ((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int4