The bald eagle is young. The bald eagle likes the squirrel. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is blue. The squirrel is kind. The squirrel is not red. The squirrel is young. The squirrel likes the bald eagle. The squirrel likes the tiger. The squirrel does not visit the bald eagle. The squirrel visits the tiger. The tiger is nice. The tiger likes the bald eagle. The tiger visits the bald eagle. If someone likes the bald eagle then they visit the tiger. If someone is blue then they like the squirrel. If someone likes the squirrel then they visit the squirrel. If someone visits the tiger and they are nice then the tiger does not chase the bald eagle. If someone chases the tiger and they are not blue then the tiger visits the squirrel. If someone chases the bald eagle and the bald eagle chases the squirrel then the bald eagle does not like the squirrel.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone likes the bald eagle then they visit the tiger.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is blue then they like the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the squirrel then they visit the squirrel.
((("someone" "likes" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone visits the tiger and they are nice then the tiger does not chase the bald eagle.
((("someone" "visits" "tiger" "+") ("someone" "is" "nice" "+")) -> ("tiger" "chases" "bald eagle" "-"))
If someone chases the tiger and they are not blue then the tiger visits the squirrel.
((("someone" "chases" "tiger" "+") ("someone" "is" "blue" "~")) -> ("tiger" "visits" "squirrel" "+"))
If someone chases the bald eagle and the bald eagle chases the squirrel then the bald eagle does not like the squirrel.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("bald eagle" "likes" "squirrel" "-"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple16)]
("tiger" "visits" "bald eagle" "-")
triple16
The squirrel likes the squirrel.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The tiger does not visit the tiger.
False
2
inv-proof
[(((triple15) -> rule1))]
("tiger" "visits" "tiger" "-")
((triple15) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The squirrel visits the squirrel.
True
3
proof
[(((((triple6) -> rule2)) -> rule3))]
("squirrel" "visits" "squirrel" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The tiger chases the bald eagle.
False
4
inv-proof
[(((((triple15) -> rule1) triple14) -> rule4))]
("tiger" "chases" "bald eagle" "+")
((((triple15) -> (rule1 % int2)) triple14) -> (rule4 % int1))
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger does not visit the squirrel.
Unknown
inv-rconc
[@2: The tiger visits the squirrel.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("tiger" "visits" "squirrel" "-")
The tiger likes the squirrel.
Unknown
rconc
[@1: The tiger likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "squirrel" "+")
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The tiger chases the squirrel.
Unknown
random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3 OR ((triple2) -> rule3))] The squirrel chases the bald eagle.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel does not visit the bald eagle.[(triple12)] The squirrel is blue.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is not red.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel likes the tiger.[(triple11)] The squirrel visits the tiger.[(triple13 OR ((triple10) -> rule1))] The tiger is nice.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The squirrel likes the squirrel.[(((triple6) -> rule2))] The tiger visits the tiger.[(((triple15) -> rule1))] @2: The squirrel visits the squirrel.[(((((triple6) -> rule2)) -> rule3))] The tiger does not chase the bald eagle.[(((((triple15) -> rule1) triple14) -> rule4))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
((triple2) -> (rule3 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is not red.
("squirrel" "is" "red" "-")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple10
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple11
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple13
((triple10) -> (rule1 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple16
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple15) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
((((triple15) -> (rule1 % int2)) triple14) -> (rule4 % int1))
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2