The bald eagle does not chase the rabbit. The bald eagle eats the rabbit. The bald eagle is not round. The bear chases the rabbit. The bear is not round. The bear sees the rabbit. The rabbit eats the bald eagle. The rabbit is big. The rabbit is kind. The rabbit is round. If something chases the bear then the bear eats the rabbit. If the rabbit eats the bear then the rabbit sees the bear. If something is big then it is rough. Round things are kind. If something chases the bald eagle then it chases the bear. If the bear is rough and the bear is not round then the bear is green. If something sees the bear and the bear is round then it is not green. If something eats the bear and the bear chases the bald eagle then the bald eagle chases the bear.
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If something chases the bear then the bear eats the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "rabbit" "+"))
If the rabbit eats the bear then the rabbit sees the bear.
((("rabbit" "eats" "bear" "+")) -> ("rabbit" "sees" "bear" "+"))
If something is big then it is rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something chases the bald eagle then it chases the bear.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "bear" "+"))
If the bear is rough and the bear is not round then the bear is green.
((("bear" "is" "rough" "+") ("bear" "is" "round" "~")) -> ("bear" "is" "green" "+"))
If something sees the bear and the bear is round then it is not green.
((("something" "sees" "bear" "+") ("bear" "is" "round" "+")) -> ("something" "is" "green" "-"))
If something eats the bear and the bear chases the bald eagle then the bald eagle chases the bear.
((("something" "eats" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
The bear chases the rabbit.
True
1
proof
[(triple4)]
("bear" "chases" "rabbit" "+")
triple4
The bald eagle chases the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The rabbit is rough.
True
2
proof
[(((triple8) -> rule3))]
("rabbit" "is" "rough" "+")
((triple8) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple8) -> rule3))]
("rabbit" "is" "rough" "-")
((triple8) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "kind" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bear" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bald eagle does not chase the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is not round.[(triple3)] The bear chases the rabbit.[(triple4)] The bear is not round.[(triple5)] The bear sees the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit is big.[(triple8)] The rabbit is kind.[(triple9 OR ((triple10) -> rule4))] The rabbit is round.[(triple10)] @1: The rabbit is rough.[(((triple8) -> rule3))]
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple4
The bear is not round.
("bear" "is" "round" "-")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple6
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
((triple10) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple8) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1