The bald eagle needs the squirrel. The squirrel eats the tiger. The squirrel is green. The squirrel is round. The squirrel needs the tiger. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is green. The tiger is kind. The tiger is round. If the squirrel eats the tiger and the tiger needs the bald eagle then the tiger chases the bald eagle. If someone chases the squirrel then they are rough. If someone needs the tiger then they chase the squirrel. If someone needs the bald eagle and the bald eagle is rough then they are green. If someone needs the squirrel and the squirrel needs the tiger then the squirrel is kind. If someone chases the bald eagle and they chase the squirrel then the bald eagle is green. If someone needs the squirrel then they need the tiger. If someone needs the bald eagle then they need the squirrel.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the squirrel eats the tiger and the tiger needs the bald eagle then the tiger chases the bald eagle.
((("squirrel" "eats" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If someone chases the squirrel then they are rough.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone needs the tiger then they chase the squirrel.
((("someone" "needs" "tiger" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone needs the bald eagle and the bald eagle is rough then they are green.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone needs the squirrel and the squirrel needs the tiger then the squirrel is kind.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "tiger" "+")) -> ("squirrel" "is" "kind" "+"))
If someone chases the bald eagle and they chase the squirrel then the bald eagle is green.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "squirrel" "+")) -> ("bald eagle" "is" "green" "+"))
If someone needs the squirrel then they need the tiger.
((("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the bald eagle then they need the squirrel.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "squirrel" "+"))
The tiger is kind.
True
1
proof
[(triple9)]
("tiger" "is" "kind" "+")
triple9
The squirrel is not round.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "round" "-")
triple4
The tiger is rough.
True
2
proof
[(((triple7) -> rule2))]
("tiger" "is" "rough" "+")
((triple7) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The squirrel is not kind.
False
3
inv-proof
[(((triple1 triple5) -> rule5))]
("squirrel" "is" "kind" "-")
((triple1 triple5) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is rough.
True
3
proof
[(((((triple5) -> rule3)) -> rule2))]
("squirrel" "is" "rough" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is not rough.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule2))]
("squirrel" "is" "rough" "-")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The tiger needs the squirrel.
Unknown
rconc
[@1: The tiger needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "needs" "squirrel" "+")
The tiger does not need the tiger.
Unknown
inv-rconc
[@2: The tiger needs the tiger.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger eats the bald eagle.
Unknown
random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "+")
The bald eagle does not chase the tiger.
Unknown
inv-random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The squirrel eats the tiger.[(triple2)] The squirrel is green.[(triple3)] The squirrel is round.[(triple4)] The squirrel needs the tiger.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger chases the squirrel.[(triple7)] The tiger is green.[(triple8)] The tiger is kind.[(triple9)] The tiger is round.[(triple10)] @1: The bald eagle is green.[(((triple6 triple7) -> rule6))] The bald eagle needs the tiger.[(((triple1) -> rule7))] The squirrel chases the squirrel.[(((triple5) -> rule3))] The squirrel is kind.[(((triple1 triple5) -> rule5))] The tiger is rough.[(((triple7) -> rule2))] @2: The bald eagle chases the squirrel.[(((((triple1) -> rule7)) -> rule3))] The squirrel is rough.[(((((triple5) -> rule3)) -> rule2))] @3: The bald eagle is rough.[(((((((triple1) -> rule7)) -> rule3)) -> rule2))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple6
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple6 triple7) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((triple1) -> (rule7 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple5) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple1 triple5) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple7) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3