The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is nice. The bald eagle sees the lion. The lion does not eat the bald eagle. The lion eats the mouse. The mouse is not kind. The rabbit chases the bald eagle. The rabbit chases the lion. The rabbit sees the lion. If something chases the rabbit and it is cold then the rabbit does not chase the mouse. If the rabbit sees the bald eagle and the bald eagle is kind then the rabbit chases the lion. If something eats the rabbit and it is not round then it is kind. If something chases the lion then it is young. If something chases the bald eagle and the bald eagle eats the rabbit then it is nice. If something is young and cold then it is nice.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something chases the rabbit and it is cold then the rabbit does not chase the mouse.
((("something" "chases" "rabbit" "+") ("something" "is" "cold" "+")) -> ("rabbit" "chases" "mouse" "-"))
If the rabbit sees the bald eagle and the bald eagle is kind then the rabbit chases the lion.
((("rabbit" "sees" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("rabbit" "chases" "lion" "+"))
If something eats the rabbit and it is not round then it is kind.
((("something" "eats" "rabbit" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
If something chases the lion then it is young.
((("something" "chases" "lion" "+")) -> ("something" "is" "young" "+"))
If something chases the bald eagle and the bald eagle eats the rabbit then it is nice.
((("something" "chases" "bald eagle" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("something" "is" "nice" "+"))
If something is young and cold then it is nice.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
The bald eagle is nice.
True
1
proof
[(triple3)]
("bald eagle" "is" "nice" "+")
triple3
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "lion" "-")
triple2
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "young" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion does not eat the bald eagle.[(triple5)] The lion eats the mouse.[(triple6)] The mouse is not kind.[(triple7)] The rabbit chases the bald eagle.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The bald eagle is young.[(((triple1) -> rule4))] The rabbit is young.[(((triple9) -> rule4))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple5
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple6
The mouse is not kind.
("mouse" "is" "kind" "-")
triple7
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple8
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple9
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple10
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple9) -> (rule4 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1