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