The cow chases the mouse. The cow eats the mouse. The cow is kind. The cow is nice. The cow is red. The cow is rough. The cow is young. The cow likes the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is young. The mouse likes the cow. If the mouse eats the cow and the cow eats the mouse then the cow likes the mouse. If someone is red then they chase the cow. If someone chases the mouse then they eat the cow. If someone eats the cow and they chase the mouse then they like the mouse. If someone is nice and they eat the mouse then they eat the cow. If someone likes the cow then the cow chases the mouse.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If the mouse eats the cow and the cow eats the mouse then the cow likes the mouse.
((("mouse" "eats" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("cow" "likes" "mouse" "+"))
If someone is red then they chase the cow.
((("someone" "is" "red" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the mouse then they eat the cow.
((("someone" "chases" "mouse" "+")) -> ("someone" "eats" "cow" "+"))
If someone eats the cow and they chase the mouse then they like the mouse.
((("someone" "eats" "cow" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is nice and they eat the mouse then they eat the cow.
((("someone" "is" "nice" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "eats" "cow" "+"))
If someone likes the cow then the cow chases the mouse.
((("someone" "likes" "cow" "+")) -> ("cow" "chases" "mouse" "+"))
The cow eats the mouse.
True
1
proof
[(triple2)]
("cow" "eats" "mouse" "+")
triple2
The cow is not young.
False
1
inv-proof
[(triple7)]
("cow" "is" "young" "-")
triple7
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The cow chases the mouse.[(triple1 OR ((triple12) -> rule6))] The cow eats the mouse.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow is young.[(triple7)] The cow likes the mouse.[(triple8 OR ((triple10 triple2) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule4) OR ((((triple4 triple2) -> rule5) triple1) -> rule4) OR ((((triple1) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple4 triple2) -> rule5) ((triple12) -> rule6)) -> rule4) OR ((((((triple12) -> rule6)) -> rule3) triple1) -> rule4) OR ((((((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4))] The mouse chases the cow.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cow.[(triple12)] @1: The cow chases the cow.[(((triple5) -> rule2))] The cow eats the cow.[(((triple1) -> rule3) OR ((triple4 triple2) -> rule5) OR ((((triple12) -> rule6)) -> rule3))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
((triple12) -> (rule6 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple8
((triple10 triple2) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
((((triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((triple4 triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
((((triple4 triple2) -> (rule5 % int3)) ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
((((((triple12) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int3
((((((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple11
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple12
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple5) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple1) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((triple4 triple2) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2