The bald eagle is rough. The bald eagle needs the cat. The bald eagle sees the lion. The bald eagle visits the cat. The cat sees the lion. The lion is big. The lion is kind. The lion is rough. The lion needs the bald eagle. The lion needs the cat. The lion sees the bald eagle. The lion visits the bald eagle. If the cat is big and the cat sees the lion then the cat visits the lion. If someone needs the bald eagle then they are round. If the cat visits the bald eagle then the bald eagle needs the lion. If the bald eagle needs the lion then the bald eagle sees the cat. If the cat needs the lion and the lion is round then the lion visits the cat. If someone is round and they need the cat then the cat needs the lion.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If the cat is big and the cat sees the lion then the cat visits the lion.
((("cat" "is" "big" "+") ("cat" "sees" "lion" "+")) -> ("cat" "visits" "lion" "+"))
If someone needs the bald eagle then they are round.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If the cat visits the bald eagle then the bald eagle needs the lion.
((("cat" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If the bald eagle needs the lion then the bald eagle sees the cat.
((("bald eagle" "needs" "lion" "+")) -> ("bald eagle" "sees" "cat" "+"))
If the cat needs the lion and the lion is round then the lion visits the cat.
((("cat" "needs" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "visits" "cat" "+"))
If someone is round and they need the cat then the cat needs the lion.
((("someone" "is" "round" "+") ("someone" "needs" "cat" "+")) -> ("cat" "needs" "lion" "+"))
The lion needs the cat.
True
1
proof
[(triple10)]
("lion" "needs" "cat" "+")
triple10
The lion is not kind.
False
1
inv-proof
[(triple7)]
("lion" "is" "kind" "-")
triple7
The lion is round.
True
2
proof
[(((triple9) -> rule2))]
("lion" "is" "round" "+")
((triple9) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("lion" "is" "round" "-")
((triple9) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cat needs the lion.
True
4
proof
[(((((triple9) -> rule2) triple10) -> rule6))]
("cat" "needs" "lion" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The cat does not need the lion.
False
4
inv-proof
[(((((triple9) -> rule2) triple10) -> rule6))]
("cat" "needs" "lion" "-")
((((triple9) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion visits the cat.
True
7
proof
[(((((((triple9) -> rule2) triple10) -> rule6) ((triple9) -> rule2)) -> rule5))]
("lion" "visits" "cat" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule6 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion does not visit the cat.
False
7
inv-proof
[(((((((triple9) -> rule2) triple10) -> rule6) ((triple9) -> rule2)) -> rule5))]
("lion" "visits" "cat" "-")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule6 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "-")
The cat visits the lion.
Unknown
rconc
[@1: The cat visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "lion" "+")
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The bald eagle sees the cat.
Unknown
rconc
[@2: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bald eagle" "sees" "cat" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat sees the bald eagle.
Unknown
random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat sees the lion.[(triple5)] The lion is big.[(triple6)] The lion is kind.[(triple7)] The lion is rough.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion needs the cat.[(triple10)] The lion sees the bald eagle.[(triple11)] The lion visits the bald eagle.[(triple12)] @1: The lion is round.[(((triple9) -> rule2))] @2: The cat needs the lion.[(((((triple9) -> rule2) triple10) -> rule6))] @3: The lion visits the cat.[(((((((triple9) -> rule2) triple10) -> rule6) ((triple9) -> rule2)) -> rule5))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat sees the lion.
("cat" "sees" "lion" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple11
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
((triple9) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion visits the cat.
("lion" "visits" "cat" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule6 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3