The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle likes the cow. The bald eagle likes the rabbit. The bear is big. The bear is cold. The bear is nice. The bear sees the cow. The cow eats the rabbit. The cow is not kind. The cow is not nice. The cow likes the bear. The rabbit eats the bear. The rabbit likes the bald eagle. The rabbit likes the bear. If something likes the bear and it eats the bear then it eats the cow. If something eats the bear and it eats the cow then it is not round. If something sees the rabbit then the rabbit is not round. If something likes the cow then the cow eats the bear. If something likes the rabbit then the rabbit does not see the bear. If something likes the cow then the cow likes the bear. If something sees the cow then it sees the rabbit. If the bald eagle is not kind then the bald eagle eats the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow likes the bear.
("cow" "likes" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If something likes the bear and it eats the bear then it eats the cow.
((("something" "likes" "bear" "+") ("something" "eats" "bear" "+")) -> ("something" "eats" "cow" "+"))
If something eats the bear and it eats the cow then it is not round.
((("something" "eats" "bear" "+") ("something" "eats" "cow" "+")) -> ("something" "is" "round" "-"))
If something sees the rabbit then the rabbit is not round.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "is" "round" "-"))
If something likes the cow then the cow eats the bear.
((("something" "likes" "cow" "+")) -> ("cow" "eats" "bear" "+"))
If something likes the rabbit then the rabbit does not see the bear.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "sees" "bear" "-"))
If something likes the cow then the cow likes the bear.
((("something" "likes" "cow" "+")) -> ("cow" "likes" "bear" "+"))
If something sees the cow then it sees the rabbit.
((("something" "sees" "cow" "+")) -> ("something" "sees" "rabbit" "+"))
If the bald eagle is not kind then the bald eagle eats the bear.
((("bald eagle" "is" "kind" "~")) -> ("bald eagle" "eats" "bear" "+"))
The bear is big.
True
1
proof
[(triple5)]
("bear" "is" "big" "+")
triple5
The cow does not eat the rabbit.
False
1
inv-proof
[(triple9)]
("cow" "eats" "rabbit" "-")
triple9
The bear sees the rabbit.
True
2
proof
[(((triple8) -> rule7))]
("bear" "sees" "rabbit" "+")
((triple8) -> (rule7 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit does not eat the cow.
False
3
inv-proof
[(((triple15 triple13) -> rule1))]
("rabbit" "eats" "cow" "-")
((triple15 triple13) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is not round.
True
3
proof
[(((((triple8) -> rule7)) -> rule3) OR ((triple13 ((triple15 triple13) -> rule1)) -> rule2))]
("rabbit" "is" "round" "-")
((((triple8) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
((triple13 ((triple15 triple13) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The cow does not eat the cow.
False
4
inv-proof
[(((triple12 ((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1))]
("cow" "eats" "cow" "-")
((triple12 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
((((triple3) -> (rule6 % int3)) ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow is not round.
True
7
proof
[(((((triple3) -> rule4) ((triple12 ((triple3) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1)) -> rule2))]
("cow" "is" "round" "-")
((((triple3) -> (rule4 % int3)) ((triple12 ((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int3)) ((triple3) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The cow is round.
False
7
inv-proof
[(((((triple3) -> rule4) ((triple12 ((triple3) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1)) -> rule2))]
("cow" "is" "round" "+")
((((triple3) -> (rule4 % int3)) ((triple12 ((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int3)) ((triple3) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "cow" "-")
The bald eagle eats the cow.
Unknown
rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cow" "+")
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cow sees the rabbit.
Unknown
rconc
[@1: The cow sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "sees" "rabbit" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is cold.[(triple6)] The bear is nice.[(triple7)] The bear sees the cow.[(triple8)] The cow eats the rabbit.[(triple9)] The cow is not kind.[(triple10)] The cow is not nice.[(triple11)] The cow likes the bear.[(triple12 OR ((triple3) -> rule6))] The rabbit eats the bear.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the bear.[(triple15)] @1: The bear sees the rabbit.[(((triple8) -> rule7))] The cow eats the bear.[(((triple3) -> rule4))] The rabbit does not see the bear.[(((triple4) -> rule5))] The rabbit eats the cow.[(((triple15 triple13) -> rule1))] @2: The cow eats the cow.[(((triple12 ((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1))] The rabbit is not round.[(((((triple8) -> rule7)) -> rule3) OR ((triple13 ((triple15 triple13) -> rule1)) -> rule2))] @3: The cow is not round.[(((((triple3) -> rule4) ((triple12 ((triple3) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1)) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple9
The cow is not kind.
("cow" "is" "kind" "-")
triple10
The cow is not nice.
("cow" "is" "nice" "-")
triple11
The cow likes the bear.
("cow" "likes" "bear" "+")
triple12
((triple3) -> (rule6 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple8) -> (rule7 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
((triple3) -> (rule4 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
((triple4) -> (rule5 % int1))
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((triple15 triple13) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple12 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
((((triple3) -> (rule6 % int3)) ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The rabbit is not round.
("rabbit" "is" "round" "-")
((((triple8) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
((triple13 ((triple15 triple13) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The cow is not round.
("cow" "is" "round" "-")
((((triple3) -> (rule4 % int3)) ((triple12 ((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int3)) ((triple3) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4