The cow chases the lion. The cow does not eat the mouse. The cow needs the lion. The lion chases the mouse. The lion does not eat the cow. The lion eats the mouse. The lion is cold. The lion needs the cow. The lion does not need the mouse. The mouse does not chase the cow. The mouse chases the lion. The mouse eats the cow. The mouse is cold. The mouse is not rough. The mouse needs the cow. If something needs the cow then the cow is kind.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion does not need the mouse.
("lion" "needs" "mouse" "-")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
If something needs the cow then the cow is kind.
((("something" "needs" "cow" "+")) -> ("cow" "is" "kind" "+"))
The mouse chases the lion.
True
1
proof
[(triple11)]
("mouse" "chases" "lion" "+")
triple11
The lion is not cold.
False
1
inv-proof
[(triple7)]
("lion" "is" "cold" "-")
triple7
The cow is kind.
True
2
proof
[(((triple15) -> rule1) OR ((triple8) -> rule1))]
("cow" "is" "kind" "+")
((triple15) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple8) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple15) -> rule1) OR ((triple8) -> rule1))]
("cow" "is" "kind" "-")
((triple15) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple8) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The cow needs the mouse.
Unknown
random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The cow chases the lion.[(triple1)] The cow does not eat the mouse.[(triple2)] The cow needs the lion.[(triple3)] The lion chases the mouse.[(triple4)] The lion does not eat the cow.[(triple5)] The lion does not need the mouse.[(triple9)] The lion eats the mouse.[(triple6)] The lion is cold.[(triple7)] The lion needs the cow.[(triple8)] The mouse chases the lion.[(triple11)] The mouse does not chase the cow.[(triple10)] The mouse eats the cow.[(triple12)] The mouse is cold.[(triple13)] The mouse is not rough.[(triple14)] The mouse needs the cow.[(triple15)] @1: The cow is kind.[(((triple15) -> rule1) OR ((triple8) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
triple2
The cow needs the lion.
("cow" "needs" "lion" "+")
triple3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple4
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple5
The lion does not need the mouse.
("lion" "needs" "mouse" "-")
triple9
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion needs the cow.
("lion" "needs" "cow" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple11
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple10
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse is not rough.
("mouse" "is" "rough" "-")
triple14
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple15
The cow is kind.
("cow" "is" "kind" "+")
((triple15) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple8) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1