The bald eagle sees the cat. The cat chases the lion. The lion eats the cat. The rabbit is round. If the rabbit eats the cat then the cat sees the rabbit. If something chases the lion then the lion is round. If something eats the bald eagle and it is cold then the bald eagle is cold. If something is nice and it sees the cat then the cat is round. If something eats the rabbit then the rabbit is nice. If something chases the rabbit then the rabbit eats the lion.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If the rabbit eats the cat then the cat sees the rabbit.
((("rabbit" "eats" "cat" "+")) -> ("cat" "sees" "rabbit" "+"))
If something chases the lion then the lion is round.
((("something" "chases" "lion" "+")) -> ("lion" "is" "round" "+"))
If something eats the bald eagle and it is cold then the bald eagle is cold.
((("something" "eats" "bald eagle" "+") ("something" "is" "cold" "+")) -> ("bald eagle" "is" "cold" "+"))
If something is nice and it sees the cat then the cat is round.
((("something" "is" "nice" "+") ("something" "sees" "cat" "+")) -> ("cat" "is" "round" "+"))
If something eats the rabbit then the rabbit is nice.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If something chases the rabbit then the rabbit eats the lion.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "eats" "lion" "+"))
The lion eats the cat.
True
1
proof
[(triple3)]
("lion" "eats" "cat" "+")
triple3
The lion does not eat the cat.
False
1
inv-proof
[(triple3)]
("lion" "eats" "cat" "-")
triple3
The lion is round.
True
2
proof
[(((triple2) -> rule2))]
("lion" "is" "round" "+")
((triple2) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("lion" "is" "round" "-")
((triple2) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "round" "-")
The cat sees the rabbit.
Unknown
rconc
[@1: The cat sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "rabbit" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
@0: The bald eagle sees the cat.[(triple1)] The cat chases the lion.[(triple2)] The lion eats the cat.[(triple3)] The rabbit is round.[(triple4)] @1: The lion is round.[(((triple2) -> rule2))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The cat chases the lion.
("cat" "chases" "lion" "+")
triple2
The lion eats the cat.
("lion" "eats" "cat" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
((triple2) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1