The bald eagle sees the dog. The bear is round. The dog is not cold. If the bald eagle sees the dog then the bald eagle does not chase the bear. If something eats the bear and it chases the dog then it is rough.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear is round.
("bear" "is" "round" "+")
The dog is not cold.
("dog" "is" "cold" "-")
If the bald eagle sees the dog then the bald eagle does not chase the bear.
((("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "chases" "bear" "-"))
If something eats the bear and it chases the dog then it is rough.
((("something" "eats" "bear" "+") ("something" "chases" "dog" "+")) -> ("something" "is" "rough" "+"))
The bear is round.
True
1
proof
[(triple2)]
("bear" "is" "round" "+")
triple2
The dog is cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "+")
triple3
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bald eagle sees the dog.[(triple1)] The bear is round.[(triple2)] The dog is not cold.[(triple3)] @1: The bald eagle does not chase the bear.[(((triple1) -> rule1))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The dog is not cold.
("dog" "is" "cold" "-")
triple3
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
int1