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