The bald eagle is cold. The bald eagle visits the tiger. The bear needs the bald eagle. The squirrel is rough. The tiger chases the squirrel. The tiger is rough. The tiger needs the bald eagle. If someone chases the squirrel then they need the squirrel. If someone is rough and they need the bald eagle then they visit the tiger. If someone visits the tiger and they are blue then they visit the bald eagle. If the squirrel is rough then the squirrel is blue. If someone chases the squirrel then they are kind. If the tiger needs the squirrel then the squirrel is red. If someone visits the squirrel then they chase the bald eagle. If the tiger chases the bald eagle then the bald eagle needs the tiger.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone chases the squirrel then they need the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is rough and they need the bald eagle then they visit the tiger.
((("someone" "is" "rough" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the tiger and they are blue then they visit the bald eagle.
((("someone" "visits" "tiger" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the squirrel is rough then the squirrel is blue.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "blue" "+"))
If someone chases the squirrel then they are kind.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If the tiger needs the squirrel then the squirrel is red.
((("tiger" "needs" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If someone visits the squirrel then they chase the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the tiger chases the bald eagle then the bald eagle needs the tiger.
((("tiger" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "+"))
The tiger chases the squirrel.
True
1
proof
[(triple5)]
("tiger" "chases" "squirrel" "+")
triple5
The bear does not need the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "needs" "bald eagle" "-")
triple3
The tiger needs the squirrel.
True
2
proof
[(((triple5) -> rule1))]
("tiger" "needs" "squirrel" "+")
((triple5) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger does not need the squirrel.
False
2
inv-proof
[(((triple5) -> rule1))]
("tiger" "needs" "squirrel" "-")
((triple5) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The squirrel is red.
True
3
proof
[(((((triple5) -> rule1)) -> rule6))]
("squirrel" "is" "red" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The squirrel is not red.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule6))]
("squirrel" "is" "red" "-")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "kind" "+")
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle visits the squirrel.
Unknown
random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the tiger.[(triple2)] The bear needs the bald eagle.[(triple3)] The squirrel is rough.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is rough.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The squirrel is blue.[(((triple4) -> rule4))] The tiger is kind.[(((triple5) -> rule5))] The tiger needs the squirrel.[(((triple5) -> rule1))] The tiger visits the tiger.[(((triple6 triple7) -> rule2))] @2: The squirrel is red.[(((((triple5) -> rule1)) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple4) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple5) -> (rule5 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
((triple5) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple6 triple7) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int2