The cow is not big. The cow is round. The cow likes the mouse. The cow does not see the mouse. The cow visits the rabbit. The mouse is nice. The mouse likes the cow. The mouse likes the rabbit. The mouse visits the cow. The mouse visits the rabbit. The rabbit is round. The rabbit likes the cow. The rabbit does not like the mouse. The rabbit visits the cow. The rabbit visits the mouse. If something likes the rabbit and it likes the cow then the cow is not blue.
The cow is not big.
("cow" "is" "big" "-")
The cow is round.
("cow" "is" "round" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something likes the rabbit and it likes the cow then the cow is not blue.
((("something" "likes" "rabbit" "+") ("something" "likes" "cow" "+")) -> ("cow" "is" "blue" "-"))
The rabbit likes the cow.
True
1
proof
[(triple12)]
("rabbit" "likes" "cow" "+")
triple12
The rabbit likes the mouse.
False
1
inv-proof
[(triple13)]
("rabbit" "likes" "mouse" "+")
triple13
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow does not see the mouse.[(triple4)] The cow is not big.[(triple1)] The cow is round.[(triple2)] The cow likes the mouse.[(triple3)] The cow visits the rabbit.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the cow.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse visits the cow.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit does not like the mouse.[(triple13)] The rabbit is round.[(triple11)] The rabbit likes the cow.[(triple12)] The rabbit visits the cow.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The cow is not blue.[(((triple8 triple7) -> rule1))]
The cow does not see the mouse.
("cow" "sees" "mouse" "-")
triple4
The cow is not big.
("cow" "is" "big" "-")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple9
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple10
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple12
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15
The cow is not blue.
("cow" "is" "blue" "-")
((triple8 triple7) -> (rule1 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1