The bald eagle is kind. The tiger eats the bald eagle. The tiger needs the bald eagle. If someone is nice then they see the bald eagle. If someone needs the tiger then the tiger eats the bald eagle. If someone sees the bald eagle then they see the tiger. If the bald eagle eats the tiger then the tiger is nice. If someone sees the bald eagle then the bald eagle is nice. If someone eats the bald eagle then the bald eagle does not eat the tiger. If the tiger needs the bald eagle and the tiger eats the bald eagle then the tiger sees the bald eagle. If someone sees the bald eagle and they are not nice then the bald eagle does not see the tiger.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone is nice then they see the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone needs the tiger then the tiger eats the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone sees the bald eagle then they see the tiger.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "tiger" "+"))
If the bald eagle eats the tiger then the tiger is nice.
((("bald eagle" "eats" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If someone sees the bald eagle then the bald eagle is nice.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone eats the bald eagle then the bald eagle does not eat the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "-"))
If the tiger needs the bald eagle and the tiger eats the bald eagle then the tiger sees the bald eagle.
((("tiger" "needs" "bald eagle" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If someone sees the bald eagle and they are not nice then the bald eagle does not see the tiger.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "nice" "~")) -> ("bald eagle" "sees" "tiger" "-"))
The tiger needs the bald eagle.
True
1
proof
[(triple3)]
("tiger" "needs" "bald eagle" "+")
triple3
The tiger does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("tiger" "eats" "bald eagle" "-")
triple2
The bald eagle does not eat the tiger.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "eats" "tiger" "-")
((triple2) -> (rule6 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The bald eagle eats the tiger.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "eats" "tiger" "+")
((triple2) -> (rule6 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The bald eagle is nice.
True
4
proof
[(((((triple3 triple2) -> rule7)) -> rule5))]
("bald eagle" "is" "nice" "+")
((((triple3 triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The bald eagle is not nice.
False
4
inv-proof
[(((((triple3 triple2) -> rule7)) -> rule5))]
("bald eagle" "is" "nice" "-")
((((triple3 triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
True
5
proof
[(((((((triple3 triple2) -> rule7)) -> rule5)) -> rule1))]
("bald eagle" "sees" "bald eagle" "+")
((((((triple3 triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The bald eagle does not see the bald eagle.
False
5
inv-proof
[(((((((triple3 triple2) -> rule7)) -> rule5)) -> rule1))]
("bald eagle" "sees" "bald eagle" "-")
((((((triple3 triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "nice" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bald eagle is kind.[(triple1)] The tiger eats the bald eagle.[(triple2)] The tiger needs the bald eagle.[(triple3)] @1: The bald eagle does not eat the tiger.[(((triple2) -> rule6))] The tiger sees the bald eagle.[(((triple3 triple2) -> rule7))] @2: The bald eagle is nice.[(((((triple3 triple2) -> rule7)) -> rule5))] The tiger sees the tiger.[(((((triple3 triple2) -> rule7)) -> rule3))] @3: The bald eagle sees the bald eagle.[(((((((triple3 triple2) -> rule7)) -> rule5)) -> rule1))] @4: The bald eagle sees the tiger.[(((((((((triple3 triple2) -> rule7)) -> rule5)) -> rule1)) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple3
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
((triple2) -> (rule6 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((triple3 triple2) -> (rule7 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple3 triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((((triple3 triple2) -> (rule7 % int2))) -> (rule3 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple3 triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((((((((triple3 triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int4