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