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