The bear chases the lion. The bear chases the mouse. The bear is green. The bear is nice. The bear likes the lion. The bear does not like the mouse. The bear visits the lion. The lion does not chase the bear. The lion does not like the bear. The lion visits the bear. The mouse chases the bear. The mouse chases the lion. The mouse is cold. The mouse is kind. The mouse is nice. The mouse does not like the bear. If someone chases the mouse then they are not cold.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion does not chase the bear.
("lion" "chases" "bear" "-")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
If someone chases the mouse then they are not cold.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "cold" "-"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The mouse does not chase the lion.
False
1
inv-proof
[(triple12)]
("mouse" "chases" "lion" "-")
triple12
The bear is not cold.
True
2
proof
[(((triple2) -> rule1))]
("bear" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear is cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The lion does not visit the mouse.
Unknown
inv-random
[@0: The lion visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "mouse" "-")
The mouse visits the lion.
Unknown
random
[@0: The mouse visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "lion" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bear chases the lion.[(triple1)] The bear chases the mouse.[(triple2)] The bear does not like the mouse.[(triple6)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear likes the lion.[(triple5)] The bear visits the lion.[(triple7)] The lion does not chase the bear.[(triple8)] The lion does not like the bear.[(triple9)] The lion visits the bear.[(triple10)] The mouse chases the bear.[(triple11)] The mouse chases the lion.[(triple12)] The mouse does not like the bear.[(triple16)] The mouse is cold.[(triple13)] The mouse is kind.[(triple14)] The mouse is nice.[(triple15)] @1: The bear is not cold.[(((triple2) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
triple6
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear likes the lion.
("bear" "likes" "lion" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple7
The lion does not chase the bear.
("lion" "chases" "bear" "-")
triple8
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple11
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple12
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple16
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse is nice.
("mouse" "is" "nice" "+")
triple15
The bear is not cold.
("bear" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1