The bald eagle visits the squirrel. The dog eats the squirrel. The squirrel is blue. The tiger chases the bald eagle. Kind people are red. If someone chases the bald eagle then they eat the bald eagle. If the dog chases the bald eagle and the bald eagle is kind then the bald eagle eats the squirrel.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone chases the bald eagle then they eat the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the dog chases the bald eagle and the bald eagle is kind then the bald eagle eats the squirrel.
((("dog" "chases" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
The dog eats the squirrel.
True
1
proof
[(triple2)]
("dog" "eats" "squirrel" "+")
triple2
The squirrel is not blue.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "blue" "-")
triple3
The tiger eats the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "eats" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger does not eat the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "eats" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
Unknown
inv-rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The squirrel is blue.[(triple3)] The tiger chases the bald eagle.[(triple4)] @1: The tiger eats the bald eagle.[(((triple4) -> rule2))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple4
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1