The dog does not chase the mouse. The dog is nice. The dog is round. The dog likes the mouse. The dog needs the mouse. The dog needs the squirrel. The mouse chases the dog. The mouse chases the squirrel. The mouse is nice. The mouse is red. The mouse is not rough. The mouse is round. The mouse needs the dog. The mouse needs the squirrel. The squirrel chases the dog. The squirrel is not nice. If the dog likes the squirrel then the squirrel likes the mouse. If someone likes the mouse then they like the squirrel.
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
If the dog likes the squirrel then the squirrel likes the mouse.
((("dog" "likes" "squirrel" "+")) -> ("squirrel" "likes" "mouse" "+"))
If someone likes the mouse then they like the squirrel.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "squirrel" "+"))
The mouse is round.
True
1
proof
[(triple12)]
("mouse" "is" "round" "+")
triple12
The mouse does not need the squirrel.
False
1
inv-proof
[(triple14)]
("mouse" "needs" "squirrel" "-")
triple14
The dog likes the squirrel.
True
2
proof
[(((triple4) -> rule2))]
("dog" "likes" "squirrel" "+")
((triple4) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "likes" "squirrel" "-")
((triple4) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel likes the mouse.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("squirrel" "likes" "mouse" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel does not like the mouse.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("squirrel" "likes" "mouse" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The mouse does not like the squirrel.
Unknown
inv-rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "squirrel" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The dog does not chase the mouse.[(triple1)] The dog is nice.[(triple2)] The dog is round.[(triple3)] The dog likes the mouse.[(triple4)] The dog needs the mouse.[(triple5)] The dog needs the squirrel.[(triple6)] The mouse chases the dog.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse is nice.[(triple9)] The mouse is not rough.[(triple11)] The mouse is red.[(triple10)] The mouse is round.[(triple12)] The mouse needs the dog.[(triple13)] The mouse needs the squirrel.[(triple14)] The squirrel chases the dog.[(triple15)] The squirrel is not nice.[(triple16)] @1: The dog likes the squirrel.[(((triple4) -> rule2))] @2: The squirrel likes the mouse.[(((((triple4) -> rule2)) -> rule1))] @3: The squirrel likes the squirrel.[(((((((triple4) -> rule2)) -> rule1)) -> rule2))]
The dog does not chase the mouse.
("dog" "chases" "mouse" "-")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple5
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is not rough.
("mouse" "is" "rough" "-")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple13
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple14
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple15
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple16
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple4) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int3