The bald eagle eats the cat. The bald eagle is blue. The bald eagle visits the cat. The bald eagle visits the lion. The cat eats the bald eagle. The cat eats the lion. The cat is big. The cat likes the rabbit. The cat visits the rabbit. The lion eats the bald eagle. The lion eats the cat. The lion is kind. The rabbit eats the bald eagle. The rabbit is kind. The rabbit likes the bald eagle. The rabbit likes the cat. If something is rough then it is round. If the bald eagle is rough and the bald eagle is blue then the bald eagle likes the lion. If something eats the rabbit and the rabbit visits the bald eagle then it likes the rabbit. If something is round then it eats the bald eagle. If something visits the rabbit then the rabbit likes the bald eagle. If something is round then it likes the cat. If something eats the bald eagle then it is rough. If something is round and blue then it likes the bald eagle.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is kind.
("lion" "is" "kind" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If the bald eagle is rough and the bald eagle is blue then the bald eagle likes the lion.
((("bald eagle" "is" "rough" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "likes" "lion" "+"))
If something eats the rabbit and the rabbit visits the bald eagle then it likes the rabbit.
((("something" "eats" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("something" "likes" "rabbit" "+"))
If something is round then it eats the bald eagle.
((("something" "is" "round" "+")) -> ("something" "eats" "bald eagle" "+"))
If something visits the rabbit then the rabbit likes the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If something is round then it likes the cat.
((("something" "is" "round" "+")) -> ("something" "likes" "cat" "+"))
If something eats the bald eagle then it is rough.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something is round and blue then it likes the bald eagle.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "bald eagle" "+"))
The cat is big.
True
1
proof
[(triple7)]
("cat" "is" "big" "+")
triple7
The cat does not eat the lion.
False
1
inv-proof
[(triple6)]
("cat" "eats" "lion" "-")
triple6
The rabbit is rough.
True
2
proof
[(((triple13) -> rule7))]
("rabbit" "is" "rough" "+")
((triple13) -> (rule7 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple13) -> rule7))]
("rabbit" "is" "rough" "-")
((triple13) -> (rule7 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@3: The bald eagle is rough.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@4: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule7 <- rule4 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the lion.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat eats the lion.[(triple6)] The cat is big.[(triple7)] The cat likes the rabbit.[(triple8)] The cat visits the rabbit.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion eats the cat.[(triple11)] The lion is kind.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit is kind.[(triple14)] The rabbit likes the bald eagle.[(triple15 OR ((triple9) -> rule5))] The rabbit likes the cat.[(triple16 OR ((((((triple13) -> rule7)) -> rule1)) -> rule6))] @1: The cat is rough.[(((triple5) -> rule7))] The lion is rough.[(((triple10) -> rule7))] The rabbit is rough.[(((triple13) -> rule7))] @2: The cat is round.[(((((triple5) -> rule7)) -> rule1))] The lion is round.[(((((triple10) -> rule7)) -> rule1))] The rabbit is round.[(((((triple13) -> rule7)) -> rule1))] @3: The cat likes the cat.[(((((((triple5) -> rule7)) -> rule1)) -> rule6))] The lion likes the cat.[(((((((triple10) -> rule7)) -> rule1)) -> rule6))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat eats the lion.
("cat" "eats" "lion" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion eats the cat.
("lion" "eats" "cat" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple15
((triple9) -> (rule5 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple16
((((((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
((triple5) -> (rule7 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple10) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple13) -> (rule7 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((((triple5) -> (rule7 % int2))) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The lion is round.
("lion" "is" "round" "+")
((((triple10) -> (rule7 % int2))) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
((((triple13) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
((((((triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The lion likes the cat.
("lion" "likes" "cat" "+")
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3