The bear does not chase the lion. The bear does not eat the lion. The bear is blue. The bear is cold. The bear is kind. The bear is not nice. The bear is not round. The bear sees the lion. The lion chases the bear. The lion eats the bear. The lion is blue. The lion is cold. The lion is kind. The lion is not round. The lion does not see the bear. If someone eats the bear then they do not see the lion. If someone is kind and they chase the lion then they see the lion. If the lion is not kind then the lion does not eat the bear. If the lion is not cold then the lion does not eat the bear. If someone sees the bear then the bear does not see the lion. If someone sees the bear then the bear chases the lion.
The bear does not chase the lion.
("bear" "chases" "lion" "-")
The bear does not eat the lion.
("bear" "eats" "lion" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is not round.
("bear" "is" "round" "-")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion does not see the bear.
("lion" "sees" "bear" "-")
If someone eats the bear then they do not see the lion.
((("someone" "eats" "bear" "+")) -> ("someone" "sees" "lion" "-"))
If someone is kind and they chase the lion then they see the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "lion" "+")) -> ("someone" "sees" "lion" "+"))
If the lion is not kind then the lion does not eat the bear.
((("lion" "is" "kind" "~")) -> ("lion" "eats" "bear" "-"))
If the lion is not cold then the lion does not eat the bear.
((("lion" "is" "cold" "~")) -> ("lion" "eats" "bear" "-"))
If someone sees the bear then the bear does not see the lion.
((("someone" "sees" "bear" "+")) -> ("bear" "sees" "lion" "-"))
If someone sees the bear then the bear chases the lion.
((("someone" "sees" "bear" "+")) -> ("bear" "chases" "lion" "+"))
The lion is cold.
True
1
proof
[(triple12)]
("lion" "is" "cold" "+")
triple12
The bear is nice.
False
1
inv-proof
[(triple6)]
("bear" "is" "nice" "+")
triple6
The lion does not see the lion.
True
2
proof
[(((triple10) -> rule1))]
("lion" "sees" "lion" "-")
((triple10) -> (rule1 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The lion sees the lion.
False
2
inv-proof
[(((triple10) -> rule1))]
("lion" "sees" "lion" "+")
((triple10) -> (rule1 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bear does not chase the lion.[(triple1)] The bear does not eat the lion.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is kind.[(triple5)] The bear is not nice.[(triple6)] The bear is not round.[(triple7)] The bear sees the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion does not see the bear.[(triple15)] The lion eats the bear.[(triple10)] The lion is blue.[(triple11)] The lion is cold.[(triple12)] The lion is kind.[(triple13)] The lion is not round.[(triple14)] @1: The lion does not see the lion.[(((triple10) -> rule1))]
The bear does not chase the lion.
("bear" "chases" "lion" "-")
triple1
The bear does not eat the lion.
("bear" "eats" "lion" "-")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear is not nice.
("bear" "is" "nice" "-")
triple6
The bear is not round.
("bear" "is" "round" "-")
triple7
The bear sees the lion.
("bear" "sees" "lion" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple15
The lion eats the bear.
("lion" "eats" "bear" "+")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion is cold.
("lion" "is" "cold" "+")
triple12
The lion is kind.
("lion" "is" "kind" "+")
triple13
The lion is not round.
("lion" "is" "round" "-")
triple14
The lion does not see the lion.
("lion" "sees" "lion" "-")
((triple10) -> (rule1 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1