The bald eagle chases the bear. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the tiger. The bear chases the tiger. The tiger chases the bald eagle. The tiger chases the bear. The tiger is nice. The tiger sees the bear. The tiger visits the bear. If something visits the tiger and it is young then it sees the bald eagle. If something visits the tiger then the tiger is blue. If something is kind and it chases the bear then the bear is nice. If the tiger sees the bald eagle then the bald eagle visits the tiger. If something chases the bear and it chases the bald eagle then the bear sees the tiger. If something is blue and it chases the tiger then it visits the bald eagle. If the tiger is kind then the tiger sees the bear. If something is blue then it chases the tiger.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the tiger and it is young then it sees the bald eagle.
((("something" "visits" "tiger" "+") ("something" "is" "young" "+")) -> ("something" "sees" "bald eagle" "+"))
If something visits the tiger then the tiger is blue.
((("something" "visits" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If something is kind and it chases the bear then the bear is nice.
((("something" "is" "kind" "+") ("something" "chases" "bear" "+")) -> ("bear" "is" "nice" "+"))
If the tiger sees the bald eagle then the bald eagle visits the tiger.
((("tiger" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something chases the bear and it chases the bald eagle then the bear sees the tiger.
((("something" "chases" "bear" "+") ("something" "chases" "bald eagle" "+")) -> ("bear" "sees" "tiger" "+"))
If something is blue and it chases the tiger then it visits the bald eagle.
((("something" "is" "blue" "+") ("something" "chases" "tiger" "+")) -> ("something" "visits" "bald eagle" "+"))
If the tiger is kind then the tiger sees the bear.
((("tiger" "is" "kind" "+")) -> ("tiger" "sees" "bear" "+"))
If something is blue then it chases the tiger.
((("something" "is" "blue" "+")) -> ("something" "chases" "tiger" "+"))
The tiger is nice.
True
1
proof
[(triple10)]
("tiger" "is" "nice" "+")
triple10
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "bear" "-")
triple5
The bald eagle visits the bald eagle.
True
3
proof
[(((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule8)) -> rule6))]
("bald eagle" "visits" "bald eagle" "+")
((triple3 triple2) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((triple3 ((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule8)) -> rule6))]
("bald eagle" "visits" "bald eagle" "-")
((triple3 triple2) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((triple3 ((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The tiger chases the tiger.
True
3
proof
[(((((triple6) -> rule2)) -> rule8))]
("tiger" "chases" "tiger" "+")
((((triple6) -> (rule2 % int2))) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger does not chase the tiger.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule8))]
("tiger" "chases" "tiger" "-")
((((triple6) -> (rule2 % int2))) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger visits the bald eagle.
True
6
proof
[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule6))]
("tiger" "visits" "bald eagle" "+")
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger does not visit the bald eagle.
False
6
inv-proof
[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule6))]
("tiger" "visits" "bald eagle" "-")
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "-")
The tiger sees the bald eagle.
Unknown
rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear visits the bald eagle.
Unknown
rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bald eagle" "+")
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the tiger.[(triple2 OR ((triple3) -> rule8))] The bald eagle is blue.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the tiger.[(triple6)] The bear chases the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is nice.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule8)) -> rule6))] The bear sees the tiger.[(((triple9 triple8) -> rule5))] The tiger is blue.[(((triple6) -> rule2))] @2: The tiger chases the tiger.[(((((triple6) -> rule2)) -> rule8))] @3: The tiger visits the bald eagle.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
((triple3) -> (rule8 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple6
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple3 triple2) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((triple3 ((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((triple9 triple8) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((triple6) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((triple6) -> (rule2 % int2))) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3