The bald eagle eats the rabbit. The rabbit visits the squirrel. The squirrel is nice. If something visits the squirrel then the squirrel is kind. If something visits the rabbit and it likes the squirrel then it is kind. If something is blue and kind then it visits the bald eagle. If something visits the bald eagle and the bald eagle is big then it visits the rabbit. If the rabbit is nice then the rabbit eats the squirrel. If something likes the rabbit then the rabbit is nice. If the bald eagle is big and the bald eagle likes the squirrel then the squirrel eats the rabbit. If something likes the bald eagle and the bald eagle visits the rabbit then the rabbit eats the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something visits the squirrel then the squirrel is kind.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something visits the rabbit and it likes the squirrel then it is kind.
((("something" "visits" "rabbit" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something is blue and kind then it visits the bald eagle.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle is big then it visits the rabbit.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("something" "visits" "rabbit" "+"))
If the rabbit is nice then the rabbit eats the squirrel.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something likes the rabbit then the rabbit is nice.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If the bald eagle is big and the bald eagle likes the squirrel then the squirrel eats the rabbit.
((("bald eagle" "is" "big" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If something likes the bald eagle and the bald eagle visits the rabbit then the rabbit eats the bald eagle.
((("something" "likes" "bald eagle" "+") ("bald eagle" "visits" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "eats" "rabbit" "+")
triple1
The squirrel is not nice.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "nice" "-")
triple3
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is kind.[(((triple2) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1