The dog chases the mouse. The dog chases the squirrel. The dog is nice. The dog does not see the rabbit. The dog does not visit the rabbit. The mouse is big. The mouse is not nice. The mouse sees the squirrel. The rabbit chases the mouse. The rabbit is cold. The rabbit is nice. The squirrel does not chase the mouse. The squirrel is cold. The squirrel sees the mouse. The squirrel does not visit the dog. If the rabbit does not see the dog and the dog is not cold then the rabbit sees the mouse. If something sees the mouse then the mouse is round.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
If the rabbit does not see the dog and the dog is not cold then the rabbit sees the mouse.
((("rabbit" "sees" "dog" "~") ("dog" "is" "cold" "~")) -> ("rabbit" "sees" "mouse" "+"))
If something sees the mouse then the mouse is round.
((("something" "sees" "mouse" "+")) -> ("mouse" "is" "round" "+"))
The squirrel sees the mouse.
True
1
proof
[(triple14)]
("squirrel" "sees" "mouse" "+")
triple14
The dog does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "chases" "squirrel" "-")
triple2
The mouse is round.
True
2
proof
[(((triple14) -> rule2))]
("mouse" "is" "round" "+")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple14) -> rule2))]
("mouse" "is" "round" "-")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The rabbit does not see the mouse.
Unknown
inv-rconc
[@1: The rabbit sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "mouse" "-")
The mouse chases the rabbit.
Unknown
random
[@0: The mouse chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "rabbit" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The dog visits the mouse.
Unknown
random
[@0: The dog visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The dog chases the squirrel.[(triple2)] The dog does not see the rabbit.[(triple4)] The dog does not visit the rabbit.[(triple5)] The dog is nice.[(triple3)] The mouse is big.[(triple6)] The mouse is not nice.[(triple7)] The mouse sees the squirrel.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is nice.[(triple11)] The squirrel does not chase the mouse.[(triple12)] The squirrel does not visit the dog.[(triple15)] The squirrel is cold.[(triple13)] The squirrel sees the mouse.[(triple14)] @1: The mouse is round.[(((triple14) -> rule2))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple4
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is not nice.
("mouse" "is" "nice" "-")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple8
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple12
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1