The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle likes the lion. The bald eagle likes the rabbit. The bald eagle visits the rabbit. The lion is red. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the lion. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit visits the bald eagle. The rabbit visits the lion. If something likes the bald eagle and it is red then the bald eagle visits the rabbit. If something is red and it likes the bald eagle then it visits the bald eagle. If something likes the rabbit then the rabbit eats the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something likes the bald eagle and it is red then the bald eagle visits the rabbit.
((("something" "likes" "bald eagle" "+") ("something" "is" "red" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If something is red and it likes the bald eagle then it visits the bald eagle.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If something likes the rabbit then the rabbit eats the bald eagle.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "eats" "rabbit" "+")
triple2
The rabbit is not red.
False
1
inv-proof
[(triple12)]
("rabbit" "is" "red" "-")
triple12
The lion does not visit the bald eagle.
Unknown
inv-rconc
[@1: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "bald eagle" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle visits the rabbit.[(triple6 OR ((triple13 triple12) -> rule1))] The lion is red.[(triple7)] The lion likes the rabbit.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10 OR ((triple5) -> rule3) OR ((triple8) -> rule3))] The rabbit eats the lion.[(triple11)] The rabbit is red.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit visits the bald eagle.[(triple15 OR ((triple12 triple13) -> rule2))] The rabbit visits the lion.[(triple16)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple6
((triple13 triple12) -> (rule1 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The lion is red.
("lion" "is" "red" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple9
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple10
((triple5) -> (rule3 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
((triple8) -> (rule3 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
((triple12 triple13) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple16