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