The bald eagle is nice. The dog needs the tiger. The squirrel sees the tiger. The tiger is cold. If someone chases the dog and they see the tiger then the dog chases the tiger. If someone sees the tiger then they need the squirrel. If someone is kind then they need the squirrel.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If someone chases the dog and they see the tiger then the dog chases the tiger.
((("someone" "chases" "dog" "+") ("someone" "sees" "tiger" "+")) -> ("dog" "chases" "tiger" "+"))
If someone sees the tiger then they need the squirrel.
((("someone" "sees" "tiger" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is kind then they need the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "squirrel" "+"))
The tiger is cold.
True
1
proof
[(triple4)]
("tiger" "is" "cold" "+")
triple4
The squirrel does not see the tiger.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "tiger" "-")
triple3
The squirrel needs the squirrel.
True
2
proof
[(((triple3) -> rule2))]
("squirrel" "needs" "squirrel" "+")
((triple3) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple3) -> rule2))]
("squirrel" "needs" "squirrel" "-")
((triple3) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The dog does not chase the tiger.
Unknown
inv-rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "tiger" "-")
The bald eagle needs the squirrel.
Unknown
rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "squirrel" "+")
The tiger does not see the squirrel.
Unknown
inv-random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle is nice.[(triple1)] The dog needs the tiger.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The squirrel needs the squirrel.[(((triple3) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple2
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple3
The tiger is cold.
("tiger" "is" "cold" "+")
triple4
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple3) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1