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