The cat visits the mouse. The dog is rough. The mouse chases the squirrel. The squirrel is young. If the dog is rough then the dog is young. If someone visits the dog then the dog is rough.
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If the dog is rough then the dog is young.
((("dog" "is" "rough" "+")) -> ("dog" "is" "young" "+"))
If someone visits the dog then the dog is rough.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "rough" "+"))
The dog is rough.
True
1
proof
[(triple2)]
("dog" "is" "rough" "+")
triple2
The dog is not rough.
False
1
inv-proof
[(triple2)]
("dog" "is" "rough" "-")
triple2
The dog is young.
True
2
proof
[(((triple2) -> rule1))]
("dog" "is" "young" "+")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "is" "young" "-")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The squirrel does not visit the mouse.
Unknown
inv-random
[@0: The squirrel visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "mouse" "-")
The mouse chases the cat.
Unknown
random
[@0: The mouse chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The mouse eats the squirrel.
Unknown
random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "+")
@0: The cat visits the mouse.[(triple1)] The dog is rough.[(triple2)] The mouse chases the squirrel.[(triple3)] The squirrel is young.[(triple4)] @1: The dog is young.[(((triple2) -> rule1))]
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1