The bear is cold. The bear is green. The bear is kind. The bear is nice. The bear is round. The bear likes the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse is round. The mouse likes the bear. The mouse sees the bear. The mouse visits the bear. If the mouse likes the bear then the mouse is cold. If someone is kind and cold then they see the bear.
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 is round.
("bear" "is" "round" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If the mouse likes the bear then the mouse is cold.
((("mouse" "likes" "bear" "+")) -> ("mouse" "is" "cold" "+"))
If someone is kind and cold then they see the bear.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "sees" "bear" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The mouse does not visit the bear.
False
1
inv-proof
[(triple16)]
("mouse" "visits" "bear" "-")
triple16
The bear sees the bear.
True
3
proof
[(((triple3 triple1) -> rule2))]
("bear" "sees" "bear" "+")
((triple3 triple1) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("bear" "sees" "bear" "-")
((triple3 triple1) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is round.[(triple5)] The bear likes the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse is cold.[(triple9 OR ((triple14) -> rule1))] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is nice.[(triple12)] The mouse is round.[(triple13)] The mouse likes the bear.[(triple14)] The mouse sees the bear.[(triple15 OR ((triple11 triple9) -> rule2) OR ((triple11 ((triple14) -> rule1)) -> rule2))] The mouse visits the bear.[(triple16)] @1: The bear sees the bear.[(((triple3 triple1) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
((triple14) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is kind.
("mouse" "is" "kind" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple14
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple15
((triple11 triple9) -> (rule2 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
((triple11 ((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple16
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple3 triple1) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1