The bald eagle eats the rabbit. The bald eagle eats the tiger. The bald eagle sees the rabbit. The bald eagle sees the tiger. The mouse is kind. The rabbit is not rough. The tiger sees the bald eagle. If something is young and it does not see the tiger then it eats the tiger. If something eats the rabbit and the rabbit does not see the tiger then the rabbit sees the bald eagle. If something is kind then it does not like the tiger. If something likes the bald eagle and it is nice then the bald eagle likes the tiger. If something sees the tiger and it is not rough then it is nice. If something likes the tiger and it is not nice then it sees the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something is young and it does not see the tiger then it eats the tiger.
((("something" "is" "young" "+") ("something" "sees" "tiger" "~")) -> ("something" "eats" "tiger" "+"))
If something eats the rabbit and the rabbit does not see the tiger then the rabbit sees the bald eagle.
((("something" "eats" "rabbit" "+") ("rabbit" "sees" "tiger" "~")) -> ("rabbit" "sees" "bald eagle" "+"))
If something is kind then it does not like the tiger.
((("something" "is" "kind" "+")) -> ("something" "likes" "tiger" "-"))
If something likes the bald eagle and it is nice then the bald eagle likes the tiger.
((("something" "likes" "bald eagle" "+") ("something" "is" "nice" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If something sees the tiger and it is not rough then it is nice.
((("something" "sees" "tiger" "+") ("something" "is" "rough" "~")) -> ("something" "is" "nice" "+"))
If something likes the tiger and it is not nice then it sees the bald eagle.
((("something" "likes" "tiger" "+") ("something" "is" "nice" "~")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle sees the tiger.
True
1
proof
[(triple4)]
("bald eagle" "sees" "tiger" "+")
triple4
The bald eagle does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "rabbit" "-")
triple1
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle sees the tiger.[(triple4)] The mouse is kind.[(triple5)] The rabbit is not rough.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The mouse does not like the tiger.[(((triple5) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
((triple5) -> (rule3 % int1))
The mouse does not like the tiger.
("mouse" "likes" "tiger" "-")
int1