The bald eagle chases the rabbit. The bald eagle is big. The bear eats the cat. The bear visits the rabbit. The cat is cold. The cat is not green. The cat is nice. The cat visits the bear. The rabbit chases the bear. The rabbit eats the bear. The rabbit is green. The rabbit visits the cat. If someone chases the cat and they visit the bald eagle then the cat is not red. If someone is green then they do not chase the cat. If the bear does not visit the rabbit then the bear is not green. If someone eats the rabbit and they do not eat the bear then the bear is cold. If the rabbit visits the cat then the cat eats the rabbit. If someone eats the rabbit and they chase the bald eagle then the bald eagle visits the rabbit. If the rabbit chases the cat and the rabbit does not visit the bear then the rabbit chases the bald eagle. If someone eats the rabbit then they chase the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone chases the cat and they visit the bald eagle then the cat is not red.
((("someone" "chases" "cat" "+") ("someone" "visits" "bald eagle" "+")) -> ("cat" "is" "red" "-"))
If someone is green then they do not chase the cat.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cat" "-"))
If the bear does not visit the rabbit then the bear is not green.
((("bear" "visits" "rabbit" "~")) -> ("bear" "is" "green" "-"))
If someone eats the rabbit and they do not eat the bear then the bear is cold.
((("someone" "eats" "rabbit" "+") ("someone" "eats" "bear" "~")) -> ("bear" "is" "cold" "+"))
If the rabbit visits the cat then the cat eats the rabbit.
((("rabbit" "visits" "cat" "+")) -> ("cat" "eats" "rabbit" "+"))
If someone eats the rabbit and they chase the bald eagle then the bald eagle visits the rabbit.
((("someone" "eats" "rabbit" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If the rabbit chases the cat and the rabbit does not visit the bear then the rabbit chases the bald eagle.
((("rabbit" "chases" "cat" "+") ("rabbit" "visits" "bear" "~")) -> ("rabbit" "chases" "bald eagle" "+"))
If someone eats the rabbit then they chase the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
The rabbit chases the bear.
True
1
proof
[(triple9)]
("rabbit" "chases" "bear" "+")
triple9
The rabbit does not chase the bear.
False
1
inv-proof
[(triple9)]
("rabbit" "chases" "bear" "-")
triple9
The cat eats the rabbit.
True
2
proof
[(((triple12) -> rule5))]
("cat" "eats" "rabbit" "+")
((triple12) -> (rule5 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The rabbit chases the cat.
False
2
inv-proof
[(((triple11) -> rule2))]
("rabbit" "chases" "cat" "+")
((triple11) -> (rule2 % int1))
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
int1
The cat chases the bald eagle.
True
3
proof
[(((((triple12) -> rule5)) -> rule8))]
("cat" "chases" "bald eagle" "+")
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat does not chase the bald eagle.
False
3
inv-proof
[(((((triple12) -> rule5)) -> rule8))]
("cat" "chases" "bald eagle" "-")
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "cold" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bear eats the cat.[(triple3)] The bear visits the rabbit.[(triple4)] The cat is cold.[(triple5)] The cat is nice.[(triple7)] The cat is not green.[(triple6)] The cat visits the bear.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit is green.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The cat eats the rabbit.[(((triple12) -> rule5))] The rabbit does not chase the cat.[(((triple11) -> rule2))] @2: The cat chases the bald eagle.[(((((triple12) -> rule5)) -> rule8))] @3: The bald eagle visits the rabbit.[(((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule8)) -> rule6))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is not green.
("cat" "is" "green" "-")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple12
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((triple12) -> (rule5 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
((triple11) -> (rule2 % int1))
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((triple12) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3