The bald eagle eats the rabbit. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The cat visits the rabbit. The rabbit is blue. The rabbit sees the cat. The rabbit sees the squirrel. The squirrel is big. The squirrel is cold. If the squirrel is blue and the squirrel sees the bald eagle then the squirrel is green. If the squirrel sees the bald eagle and the bald eagle sees the cat then the squirrel visits the cat. If something sees the rabbit then the rabbit eats the cat. If the rabbit visits the squirrel then the rabbit eats the bald eagle. If something eats the rabbit and the rabbit is kind then it eats the squirrel. If something is kind and it eats the cat then it visits the rabbit. If the squirrel visits the cat then the cat is green. If something eats the rabbit and the rabbit eats the bald eagle then it is green.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the squirrel is blue and the squirrel sees the bald eagle then the squirrel is green.
((("squirrel" "is" "blue" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "is" "green" "+"))
If the squirrel sees the bald eagle and the bald eagle sees the cat then the squirrel visits the cat.
((("squirrel" "sees" "bald eagle" "+") ("bald eagle" "sees" "cat" "+")) -> ("squirrel" "visits" "cat" "+"))
If something sees the rabbit then the rabbit eats the cat.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "eats" "cat" "+"))
If the rabbit visits the squirrel then the rabbit eats the bald eagle.
((("rabbit" "visits" "squirrel" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If something eats the rabbit and the rabbit is kind then it eats the squirrel.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("something" "eats" "squirrel" "+"))
If something is kind and it eats the cat then it visits the rabbit.
((("something" "is" "kind" "+") ("something" "eats" "cat" "+")) -> ("something" "visits" "rabbit" "+"))
If the squirrel visits the cat then the cat is green.
((("squirrel" "visits" "cat" "+")) -> ("cat" "is" "green" "+"))
If something eats the rabbit and the rabbit eats the bald eagle then it is green.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("something" "is" "green" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple4)]
("bald eagle" "visits" "squirrel" "+")
triple4
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "squirrel" "-")
triple4
The rabbit does not eat the squirrel.
Unknown
inv-rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "eats" "squirrel" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] @1: The rabbit eats the cat.[(((triple2) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple7
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
((triple2) -> (rule3 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1