The bald eagle chases the rabbit. The rabbit chases the bald eagle. If something is big then it does not visit the rabbit. If something visits the bald eagle and it does not chase the bald eagle then it likes the rabbit. If something likes the rabbit then the rabbit is big. If the bald eagle is rough then the bald eagle chases the rabbit. If something likes the rabbit and it is nice then it likes the bald eagle. If something chases the bald eagle then the bald eagle likes the rabbit. If something visits the rabbit and it is not rough then it is kind. If something visits the bald eagle and it is rough then it is kind.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
If something is big then it does not visit the rabbit.
((("something" "is" "big" "+")) -> ("something" "visits" "rabbit" "-"))
If something visits the bald eagle and it does not chase the bald eagle then it likes the rabbit.
((("something" "visits" "bald eagle" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "likes" "rabbit" "+"))
If something likes the rabbit then the rabbit is big.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If the bald eagle is rough then the bald eagle chases the rabbit.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If something likes the rabbit and it is nice then it likes the bald eagle.
((("something" "likes" "rabbit" "+") ("something" "is" "nice" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle likes the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If something visits the rabbit and it is not rough then it is kind.
((("something" "visits" "rabbit" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "+"))
If something visits the bald eagle and it is rough then it is kind.
((("something" "visits" "bald eagle" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The bald eagle likes the rabbit.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "likes" "rabbit" "+")
((triple2) -> (rule6 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle does not like the rabbit.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "likes" "rabbit" "-")
((triple2) -> (rule6 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit is big.
True
3
proof
[(((((triple2) -> rule6)) -> rule3))]
("rabbit" "is" "big" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit is not big.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule3))]
("rabbit" "is" "big" "-")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit does not visit the rabbit.
True
4
proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit visits the rabbit.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The rabbit chases the bald eagle.[(triple2)] @1: The bald eagle likes the rabbit.[(((triple2) -> rule6))] @2: The rabbit is big.[(((((triple2) -> rule6)) -> rule3))] @3: The rabbit does not visit the rabbit.[(((((((triple2) -> rule6)) -> rule3)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple2) -> (rule6 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3