The bald eagle chases the cat. The bear is not blue. The bear is nice. The bear likes the bald eagle. The bear likes the cat. The bear needs the squirrel. The cat chases the bear. The cat is round. The squirrel chases the cat. The squirrel is not nice. The squirrel is not round. The squirrel needs the bear. If the bear is not kind then the bear needs the bald eagle. If something is round and rough then it needs the squirrel. If something likes the bald eagle then it is round.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is round.
("cat" "is" "round" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If the bear is not kind then the bear needs the bald eagle.
((("bear" "is" "kind" "~")) -> ("bear" "needs" "bald eagle" "+"))
If something is round and rough then it needs the squirrel.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "squirrel" "+"))
If something likes the bald eagle then it is round.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "round" "+"))
The bear likes the cat.
True
1
proof
[(triple5)]
("bear" "likes" "cat" "+")
triple5
The bear is not nice.
False
1
inv-proof
[(triple3)]
("bear" "is" "nice" "-")
triple3
The bear is round.
True
2
proof
[(((triple4) -> rule3))]
("bear" "is" "round" "+")
((triple4) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple4) -> rule3))]
("bear" "is" "round" "-")
((triple4) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The cat needs the squirrel.
Unknown
rconc
[@1: The cat needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "squirrel" "+")
The bald eagle does not need the cat.
Unknown
inv-random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle chases the cat.[(triple1)] The bear is nice.[(triple3)] The bear is not blue.[(triple2)] The bear likes the bald eagle.[(triple4)] The bear likes the cat.[(triple5)] The bear needs the squirrel.[(triple6)] The cat chases the bear.[(triple7)] The cat is round.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel is not nice.[(triple10)] The squirrel is not round.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The bear is round.[(((triple4) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The cat chases the bear.
("cat" "chases" "bear" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple9
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple10
The squirrel is not round.
("squirrel" "is" "round" "-")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The bear is round.
("bear" "is" "round" "+")
((triple4) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1