The bear eats the cat. The bear eats the lion. The bear is not big. The bear is cold. The bear is nice. The cat does not eat the bear. The cat does not eat the lion. The cat is kind. The cat does not like the bear. The cat likes the lion. The cat does not need the bear. The cat needs the lion. The lion eats the bear. The lion eats the cat. The lion likes the cat. The lion needs the cat. All nice things are not kind. If the cat eats the bear then the cat is young.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat does not like the bear.
("cat" "likes" "bear" "-")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat does not need the bear.
("cat" "needs" "bear" "-")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
All nice things are not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If the cat eats the bear then the cat is young.
((("cat" "eats" "bear" "+")) -> ("cat" "is" "young" "+"))
The bear eats the lion.
True
1
proof
[(triple2)]
("bear" "eats" "lion" "+")
triple2
The cat eats the lion.
False
1
inv-proof
[(triple7)]
("cat" "eats" "lion" "+")
triple7
The bear is not kind.
True
2
proof
[(((triple5) -> rule1))]
("bear" "is" "kind" "-")
((triple5) -> (rule1 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear is kind.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "young" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the lion.[(triple2)] The bear is cold.[(triple4)] The bear is nice.[(triple5)] The bear is not big.[(triple3)] The cat does not eat the bear.[(triple6)] The cat does not eat the lion.[(triple7)] The cat does not like the bear.[(triple9)] The cat does not need the bear.[(triple11)] The cat is kind.[(triple8)] The cat likes the lion.[(triple10)] The cat needs the lion.[(triple12)] The lion eats the bear.[(triple13)] The lion eats the cat.[(triple14)] The lion likes the cat.[(triple15)] The lion needs the cat.[(triple16)] @1: The bear is not kind.[(((triple5) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is not big.
("bear" "is" "big" "-")
triple3
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple6
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple7
The cat does not like the bear.
("cat" "likes" "bear" "-")
triple9
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple11
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat likes the lion.
("cat" "likes" "lion" "+")
triple10
The cat needs the lion.
("cat" "needs" "lion" "+")
triple12
The lion eats the bear.
("lion" "eats" "bear" "+")
triple13
The lion eats the cat.
("lion" "eats" "cat" "+")
triple14
The lion likes the cat.
("lion" "likes" "cat" "+")
triple15
The lion needs the cat.
("lion" "needs" "cat" "+")
triple16
The bear is not kind.
("bear" "is" "kind" "-")
((triple5) -> (rule1 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1