The bald eagle is not big. The bald eagle is green. The bald eagle likes the rabbit. The bald eagle needs the cat. The cat eats the bald eagle. The cat is not green. The cat likes the bald eagle. The cat does not need the bald eagle. The rabbit eats the bald eagle. The rabbit eats the cat. The rabbit does not like the bald eagle. The rabbit likes the cat. All green people are nice.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple5)]
("cat" "eats" "bald eagle" "+")
triple5
The rabbit does not like the cat.
False
1
inv-proof
[(triple12)]
("rabbit" "likes" "cat" "-")
triple12
The bald eagle is nice.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bald eagle is green.[(triple2)] The bald eagle is not big.[(triple1)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the cat.[(triple4)] The cat does not need the bald eagle.[(triple8)] The cat eats the bald eagle.[(triple5)] The cat is not green.[(triple6)] The cat likes the bald eagle.[(triple7)] The rabbit does not like the bald eagle.[(triple11)] The rabbit eats the bald eagle.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit likes the cat.[(triple12)] @1: The bald eagle is nice.[(((triple2) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
triple8
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat is not green.
("cat" "is" "green" "-")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1