The bald eagle eats the cat. The bald eagle is green. The bald eagle is nice. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The cat is nice. The cat likes the bald eagle. The cat sees the rabbit. The rabbit does not eat the bald eagle. The rabbit eats the cat. The rabbit is not nice. The rabbit does not like the bald eagle. The rabbit does not like the cat. The rabbit sees the bald eagle. The rabbit sees the cat. If someone eats the rabbit then they like the bald eagle.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If someone eats the rabbit then they like the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple5)]
("bald eagle" "sees" "rabbit" "+")
triple5
The rabbit does not see the cat.
False
1
inv-proof
[(triple15)]
("rabbit" "sees" "cat" "-")
triple15
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "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 cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The cat is nice.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat sees the rabbit.[(triple8)] The rabbit does not eat the bald eagle.[(triple9)] The rabbit does not like the bald eagle.[(triple12)] The rabbit does not like the cat.[(triple13)] The rabbit eats the cat.[(triple10)] The rabbit is not nice.[(triple11)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the cat.[(triple15)]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple8
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple9
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple12
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple13
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple11
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15