The bald eagle likes the cat. The cat chases the bald eagle. If someone sees the cat then they are not round. If someone likes the bald eagle then they are not green. If someone likes the bald eagle then they are not green. If the cat sees the bald eagle and the cat likes the bald eagle then the bald eagle is kind. If someone likes the cat then the cat is kind. If someone sees the cat then they like the bald eagle. If someone chases the bald eagle and they are not blue then they chase the cat. If the cat is kind and the cat chases the bald eagle then the cat likes the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
If someone sees the cat then they are not round.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "round" "-"))
If someone likes the bald eagle then they are not green.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "green" "-"))
If someone likes the bald eagle then they are not green.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "green" "-"))
If the cat sees the bald eagle and the cat likes the bald eagle then the bald eagle is kind.
((("cat" "sees" "bald eagle" "+") ("cat" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone likes the cat then the cat is kind.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone sees the cat then they like the bald eagle.
((("someone" "sees" "cat" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the bald eagle and they are not blue then they chase the cat.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "blue" "~")) -> ("someone" "chases" "cat" "+"))
If the cat is kind and the cat chases the bald eagle then the cat likes the bald eagle.
((("cat" "is" "kind" "+") ("cat" "chases" "bald eagle" "+")) -> ("cat" "likes" "bald eagle" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple2)]
("cat" "chases" "bald eagle" "+")
triple2
The bald eagle does not like the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cat" "-")
triple1
The cat is kind.
True
2
proof
[(((triple1) -> rule5))]
("cat" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple1) -> rule5))]
("cat" "is" "kind" "-")
((triple1) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the bald eagle.
True
4
proof
[(((((triple1) -> rule5) triple2) -> rule8))]
("cat" "likes" "bald eagle" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule8 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not like the bald eagle.
False
4
inv-proof
[(((((triple1) -> rule5) triple2) -> rule8))]
("cat" "likes" "bald eagle" "-")
((((triple1) -> (rule5 % int2)) triple2) -> (rule8 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is not green.
True
5
proof
[(((((((triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple1) -> rule5) triple2) -> rule8)) -> rule3))]
("cat" "is" "green" "-")
((((((triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((((triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The cat is green.
False
5
inv-proof
[(((((((triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple1) -> rule5) triple2) -> rule8)) -> rule3))]
("cat" "is" "green" "+")
((((((triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((((triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "cat" "-")
The bald eagle chases the cat.
Unknown
rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "cat" "+")
The cat does not see the bald eagle.
Unknown
inv-random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat chases the bald eagle.[(triple2)] @1: The cat is kind.[(((triple1) -> rule5))] @2: The cat likes the bald eagle.[(((((triple1) -> rule5) triple2) -> rule8))] @3: The cat is not green.[(((((((triple1) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((triple1) -> rule5) triple2) -> rule8)) -> rule3))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule8 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is not green.
("cat" "is" "green" "-")
((((((triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3
((((((triple1) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
int3