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