The bald eagle likes the cat. The bald eagle sees the cat. The cat is blue. The cat does not like the bald eagle. The cat likes the mouse. The cat likes the rabbit. The cat does not see the bald eagle. The cat sees the mouse. The mouse does not eat the rabbit. The mouse sees the rabbit. The rabbit does not eat the cat. The rabbit is not nice. The rabbit is red. The rabbit does not like the bald eagle. The rabbit likes the mouse. If something sees the bald eagle and it eats the cat then it sees the rabbit.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If something sees the bald eagle and it eats the cat then it sees the rabbit.
((("something" "sees" "bald eagle" "+") ("something" "eats" "cat" "+")) -> ("something" "sees" "rabbit" "+"))
The cat is blue.
True
1
proof
[(triple3)]
("cat" "is" "blue" "+")
triple3
The rabbit likes the bald eagle.
False
1
inv-proof
[(triple14)]
("rabbit" "likes" "bald eagle" "+")
triple14
The cat does not see the rabbit.
Unknown
inv-rconc
[@1: The cat sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "rabbit" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle sees the cat.[(triple2)] The cat does not like the bald eagle.[(triple4)] The cat does not see the bald eagle.[(triple7)] The cat is blue.[(triple3)] The cat likes the mouse.[(triple5)] The cat likes the rabbit.[(triple6)] The cat sees the mouse.[(triple8)] The mouse does not eat the rabbit.[(triple9)] The mouse sees the rabbit.[(triple10)] The rabbit does not eat the cat.[(triple11)] The rabbit does not like the bald eagle.[(triple14)] The rabbit is not nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the mouse.[(triple15)]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple4
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple6
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple8
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple9
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple10
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
triple11
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple14
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple15