The bald eagle does not like the cat. The bear is nice. The cat is round. The rabbit likes the cat. If someone is round then they see the bald eagle. If the bear does not like the bald eagle then the bald eagle is blue.
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bear is nice.
("bear" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If someone is round then they see the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the bear does not like the bald eagle then the bald eagle is blue.
((("bear" "likes" "bald eagle" "~")) -> ("bald eagle" "is" "blue" "+"))
The bear is nice.
True
1
proof
[(triple2)]
("bear" "is" "nice" "+")
triple2
The bear is not nice.
False
1
inv-proof
[(triple2)]
("bear" "is" "nice" "-")
triple2
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle does not like the cat.[(triple1)] The bear is nice.[(triple2)] The cat is round.[(triple3)] The rabbit likes the cat.[(triple4)] @1: The cat sees the bald eagle.[(((triple3) -> rule1))]
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1