The bald eagle chases the cat. The bald eagle is green. The bald eagle is nice. The bear does not chase the cat. The bear eats the bald eagle. The bear is not nice. The cat chases the bald eagle. The cat eats the bear. The cat is green. The cat does not need the bear. If someone eats the bald eagle then they need the cat. If someone is nice then they are round. If someone eats the bear and they are blue then the bear is big.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear does not chase the cat.
("bear" "chases" "cat" "-")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat does not need the bear.
("cat" "needs" "bear" "-")
If someone eats the bald eagle then they need the cat.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "cat" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone eats the bear and they are blue then the bear is big.
((("someone" "eats" "bear" "+") ("someone" "is" "blue" "+")) -> ("bear" "is" "big" "+"))
The bald eagle is nice.
True
1
proof
[(triple3)]
("bald eagle" "is" "nice" "+")
triple3
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple5)]
("bear" "eats" "bald eagle" "-")
triple5
The bald eagle is round.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "round" "+")
((triple3) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear does not need the cat.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "needs" "cat" "-")
((triple5) -> (rule1 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cat" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "big" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bear does not chase the cat.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is not nice.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat does not need the bear.[(triple10)] The cat eats the bear.[(triple8)] The cat is green.[(triple9)] @1: The bald eagle is round.[(((triple3) -> rule2))] The bear needs the cat.[(((triple5) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bear does not chase the cat.
("bear" "chases" "cat" "-")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is not nice.
("bear" "is" "nice" "-")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple10
The cat eats the bear.
("cat" "eats" "bear" "+")
triple8
The cat is green.
("cat" "is" "green" "+")
triple9
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple3) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple5) -> (rule1 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1