The bear eats the rabbit. The bear is kind. The bear is not nice. The bear is rough. The bear sees the cat. The bear sees the lion. The bear sees the rabbit. The bear visits the cat. The cat eats the bear. The lion is big. The lion is kind. The lion sees the rabbit. The lion visits the cat. The lion visits the rabbit. The rabbit eats the bear. If something eats the rabbit then the rabbit does not eat the cat. If something sees the rabbit then the rabbit is kind. If the lion is nice then the lion is kind.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If something eats the rabbit then the rabbit does not eat the cat.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "cat" "-"))
If something sees the rabbit then the rabbit is kind.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the lion is nice then the lion is kind.
((("lion" "is" "nice" "+")) -> ("lion" "is" "kind" "+"))
The bear sees the lion.
True
1
proof
[(triple6)]
("bear" "sees" "lion" "+")
triple6
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The rabbit does not eat the cat.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "eats" "cat" "-")
((triple1) -> (rule1 % int1))
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
int1
The rabbit eats the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
int1
The rabbit does not visit the bear.
Unknown
inv-random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "-")
The bear visits the rabbit.
Unknown
random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "+")
The rabbit does not see the cat.
Unknown
inv-random
[@0: The rabbit sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cat" "-")
The lion eats the rabbit.
Unknown
random
[@0: The lion eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "rabbit" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is kind.[(triple2)] The bear is not nice.[(triple3)] The bear is rough.[(triple4)] The bear sees the cat.[(triple5)] The bear sees the lion.[(triple6)] The bear sees the rabbit.[(triple7)] The bear visits the cat.[(triple8)] The cat eats the bear.[(triple9)] The lion is big.[(triple10)] The lion is kind.[(triple11)] The lion sees the rabbit.[(triple12)] The lion visits the cat.[(triple13)] The lion visits the rabbit.[(triple14)] The rabbit eats the bear.[(triple15)] @1: The rabbit does not eat the cat.[(((triple1) -> rule1))] The rabbit is kind.[(((triple12) -> rule2) OR ((triple7) -> rule2))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is not nice.
("bear" "is" "nice" "-")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear sees the cat.
("bear" "sees" "cat" "+")
triple5
The bear sees the lion.
("bear" "sees" "lion" "+")
triple6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple7
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple12
The lion visits the cat.
("lion" "visits" "cat" "+")
triple13
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple14
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple15
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
((triple1) -> (rule1 % int1))
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple12) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple7) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1