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