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