The bald eagle eats the tiger. The bald eagle is round. The bald eagle sees the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. Red things are young. If something visits the bald eagle and it sees the bald eagle then the bald eagle is young. If something visits the tiger then the tiger sees the bald eagle. If something eats the tiger and the tiger is young then it visits the bald eagle. If the bald eagle is young then the bald eagle visits the tiger. If something sees the bald eagle and it visits the bald eagle then it is red.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
Red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something visits the bald eagle and it sees the bald eagle then the bald eagle is young.
((("something" "visits" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If something visits the tiger then the tiger sees the bald eagle.
((("something" "visits" "tiger" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If something eats the tiger and the tiger is young then it visits the bald eagle.
((("something" "eats" "tiger" "+") ("tiger" "is" "young" "+")) -> ("something" "visits" "bald eagle" "+"))
If the bald eagle is young then the bald eagle visits the tiger.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something sees the bald eagle and it visits the bald eagle then it is red.
((("something" "sees" "bald eagle" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "is" "red" "+"))
The tiger eats the bald eagle.
True
1
proof
[(triple5)]
("tiger" "eats" "bald eagle" "+")
triple5
The tiger does not see the bald eagle.
False
1
inv-proof
[(triple6 OR ((triple4) -> rule3))]
("tiger" "sees" "bald eagle" "-")
triple6
((triple4) -> (rule3 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bald eagle is young.
True
3
proof
[(((triple7 triple6) -> rule2) OR ((triple7 ((triple4) -> rule3)) -> rule2))]
("bald eagle" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple7 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The tiger is not red.
False
3
inv-proof
[(((triple6 triple7) -> rule6) OR ((((triple4) -> rule3) triple7) -> rule6))]
("tiger" "is" "red" "-")
((triple6 triple7) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple4) -> (rule3 % int2)) triple7) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The tiger is young.
True
4
proof
[(((((triple6 triple7) -> rule6)) -> rule1) OR ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1))]
("tiger" "is" "young" "+")
((((triple6 triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
((((((triple4) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The tiger is not young.
False
4
inv-proof
[(((((triple6 triple7) -> rule6)) -> rule1) OR ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1))]
("tiger" "is" "young" "-")
((((triple6 triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
((((((triple4) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The bald eagle visits the bald eagle.
True
6
proof
[(((triple1 ((((triple6 triple7) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1)) -> rule4))]
("bald eagle" "visits" "bald eagle" "+")
((triple1 ((((triple6 triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((((((triple4) -> (rule3 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int4
The bald eagle does not visit the bald eagle.
False
6
inv-proof
[(((triple1 ((((triple6 triple7) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1)) -> rule4))]
("bald eagle" "visits" "bald eagle" "-")
((triple1 ((((triple6 triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((((((triple4) -> (rule3 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int4
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
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 bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4 OR ((((triple7 triple6) -> rule2)) -> rule5))] The tiger eats the bald eagle.[(triple5)] The tiger sees the bald eagle.[(triple6 OR ((triple4) -> rule3))] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle is young.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple4) -> rule3)) -> rule2))] The tiger is red.[(((triple6 triple7) -> rule6) OR ((((triple4) -> rule3) triple7) -> rule6))] @2: The tiger is young.[(((((triple6 triple7) -> rule6)) -> rule1) OR ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1))] @3: The bald eagle visits the bald eagle.[(((triple1 ((((triple6 triple7) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1)) -> rule4))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
((((triple7 triple6) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple5
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple6
((triple4) -> (rule3 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple7 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
((triple6 triple7) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple4) -> (rule3 % int2)) triple7) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
((((triple6 triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
((((((triple4) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1 ((((triple6 triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((((((triple4) -> (rule3 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int4