The bald eagle likes the cat. The bald eagle does not see the rabbit. The cat is round. The cat sees the bald eagle. The cat visits the rabbit. The lion is not red. The lion sees the cat. The lion visits the cat. The rabbit is red. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit sees the cat. If someone visits the bald eagle then they like the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If someone visits the bald eagle then they like the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cat" "+")
triple1
The cat is not round.
False
1
inv-proof
[(triple3)]
("cat" "is" "round" "-")
triple3
The cat does not like the bald eagle.
Unknown
inv-rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bald eagle" "-")
The lion likes the rabbit.
Unknown
random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "rabbit" "+")
@0: The bald eagle does not see the rabbit.[(triple2)] The bald eagle likes the cat.[(triple1)] The cat is round.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat visits the rabbit.[(triple5)] The lion is not red.[(triple6)] The lion sees the cat.[(triple7)] The lion visits the cat.[(triple8)] The rabbit is red.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the cat.[(triple12)]
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The lion is not red.
("lion" "is" "red" "-")
triple6
The lion sees the cat.
("lion" "sees" "cat" "+")
triple7
The lion visits the cat.
("lion" "visits" "cat" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple11
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12