The bald eagle likes the cat. The bald eagle likes the lion. The cat is rough. The cat is round. The cat visits the lion. The dog is round. The dog likes the bald eagle. The dog needs the lion. The lion likes the cat. The lion needs the cat. If someone is green then they need the lion. If someone is red and they like the lion then the lion needs the cat. If someone visits the dog and the dog needs the cat then the cat is round. If someone is young and they visit the dog then they are red. If the dog needs the lion then the dog likes the cat. If the bald eagle likes the lion then the lion is rough. If someone visits the cat and they need the bald eagle then they visit the lion. If someone visits the lion and the lion likes the cat then the cat is rough.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone is green then they need the lion.
((("someone" "is" "green" "+")) -> ("someone" "needs" "lion" "+"))
If someone is red and they like the lion then the lion needs the cat.
((("someone" "is" "red" "+") ("someone" "likes" "lion" "+")) -> ("lion" "needs" "cat" "+"))
If someone visits the dog and the dog needs the cat then the cat is round.
((("someone" "visits" "dog" "+") ("dog" "needs" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone is young and they visit the dog then they are red.
((("someone" "is" "young" "+") ("someone" "visits" "dog" "+")) -> ("someone" "is" "red" "+"))
If the dog needs the lion then the dog likes the cat.
((("dog" "needs" "lion" "+")) -> ("dog" "likes" "cat" "+"))
If the bald eagle likes the lion then the lion is rough.
((("bald eagle" "likes" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone visits the cat and they need the bald eagle then they visit the lion.
((("someone" "visits" "cat" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the lion and the lion likes the cat then the cat is rough.
((("someone" "visits" "lion" "+") ("lion" "likes" "cat" "+")) -> ("cat" "is" "rough" "+"))
The lion likes the cat.
True
1
proof
[(triple9)]
("lion" "likes" "cat" "+")
triple9
The bald eagle does not like the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The lion is rough.
True
2
proof
[(((triple2) -> rule6))]
("lion" "is" "rough" "+")
((triple2) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple2) -> rule6))]
("lion" "is" "rough" "-")
((triple2) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "red" "+")
The cat does not like the lion.
Unknown
inv-random
[@0: The cat likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "lion" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the lion.[(triple2)] The cat is rough.[(triple3 OR ((triple5 triple9) -> rule8))] The cat is round.[(triple4)] The cat visits the lion.[(triple5)] The dog is round.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog needs the lion.[(triple8)] The lion likes the cat.[(triple9)] The lion needs the cat.[(triple10)] @1: The dog likes the cat.[(((triple8) -> rule5))] The lion is rough.[(((triple2) -> rule6))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
((triple5 triple9) -> (rule8 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple4
The cat visits the lion.
("cat" "visits" "lion" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple7
The dog needs the lion.
("dog" "needs" "lion" "+")
triple8
The lion likes the cat.
("lion" "likes" "cat" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The dog likes the cat.
("dog" "likes" "cat" "+")
((triple8) -> (rule5 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple2) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1