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