The bald eagle eats the cat. The bald eagle is cold. The bald eagle needs the rabbit. The cat chases the bald eagle. The cat is cold. The cat is green. The lion chases the cat. The lion is rough. The lion does not need the bald eagle. The lion needs the rabbit. The rabbit chases the lion. The rabbit eats the bald eagle. The rabbit is rough. The rabbit does not need the bald eagle. The rabbit does not need the cat. If the lion eats the rabbit and the lion is not young then the rabbit eats the bald eagle. If something chases the rabbit and the rabbit does not need the cat then the rabbit is round. If something chases the cat then it chases the rabbit. If something is green and young then it needs the bald eagle. If something needs the lion and it does not eat the lion then it is round. If the rabbit needs the lion then the lion needs the rabbit. If something is cold then it is rough. If something is round then it chases the bald eagle.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
If the lion eats the rabbit and the lion is not young then the rabbit eats the bald eagle.
((("lion" "eats" "rabbit" "+") ("lion" "is" "young" "~")) -> ("rabbit" "eats" "bald eagle" "+"))
If something chases the rabbit and the rabbit does not need the cat then the rabbit is round.
((("something" "chases" "rabbit" "+") ("rabbit" "needs" "cat" "~")) -> ("rabbit" "is" "round" "+"))
If something chases the cat then it chases the rabbit.
((("something" "chases" "cat" "+")) -> ("something" "chases" "rabbit" "+"))
If something is green and young then it needs the bald eagle.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "needs" "bald eagle" "+"))
If something needs the lion and it does not eat the lion then it is round.
((("something" "needs" "lion" "+") ("something" "eats" "lion" "~")) -> ("something" "is" "round" "+"))
If the rabbit needs the lion then the lion needs the rabbit.
((("rabbit" "needs" "lion" "+")) -> ("lion" "needs" "rabbit" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is round then it chases the bald eagle.
((("something" "is" "round" "+")) -> ("something" "chases" "bald eagle" "+"))
The lion does not need the bald eagle.
True
1
proof
[(triple9)]
("lion" "needs" "bald eagle" "-")
triple9
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple12)]
("rabbit" "eats" "bald eagle" "-")
triple12
The lion chases the rabbit.
True
2
proof
[(((triple7) -> rule3))]
("lion" "chases" "rabbit" "+")
((triple7) -> (rule3 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion does not chase the rabbit.
False
2
inv-proof
[(((triple7) -> rule3))]
("lion" "chases" "rabbit" "-")
((triple7) -> (rule3 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The rabbit is round.
True
4
proof
[(((((triple7) -> rule3) triple15) -> rule2))]
("rabbit" "is" "round" "+")
((((triple7) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit is not round.
False
4
inv-proof
[(((((triple7) -> rule3) triple15) -> rule2))]
("rabbit" "is" "round" "-")
((((triple7) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit chases the bald eagle.
True
5
proof
[(((((((triple7) -> rule3) triple15) -> rule2)) -> rule8))]
("rabbit" "chases" "bald eagle" "+")
((((((triple7) -> (rule3 % int3)) triple15) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int3
The rabbit does not chase the bald eagle.
False
5
inv-proof
[(((((((triple7) -> rule3) triple15) -> rule2)) -> rule8))]
("rabbit" "chases" "bald eagle" "-")
((((((triple7) -> (rule3 % int3)) triple15) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int3
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The cat chases the rabbit.
Unknown
rconc
[@1: The cat chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "rabbit" "+")
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@2: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit does not need the lion.
Unknown
inv-random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is cold.[(triple5)] The cat is green.[(triple6)] The lion chases the cat.[(triple7)] The lion does not need the bald eagle.[(triple9)] The lion is rough.[(triple8)] The lion needs the rabbit.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit does not need the bald eagle.[(triple14)] The rabbit does not need the cat.[(triple15)] The rabbit eats the bald eagle.[(triple12)] The rabbit is rough.[(triple13)] @1: The bald eagle is rough.[(((triple2) -> rule7))] The cat is rough.[(((triple5) -> rule7))] The lion chases the rabbit.[(((triple7) -> rule3))] @2: The rabbit is round.[(((((triple7) -> rule3) triple15) -> rule2))] @3: The rabbit chases the bald eagle.[(((((((triple7) -> rule3) triple15) -> rule2)) -> rule8))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The lion chases the cat.
("lion" "chases" "cat" "+")
triple7
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple10
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple11
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple14
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
triple15
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule7 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple5) -> (rule7 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((triple7) -> (rule3 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((((triple7) -> (rule3 % int2)) triple15) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((((((triple7) -> (rule3 % int3)) triple15) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int3