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