The dog does not eat the mouse. The dog is not cold. The dog likes the mouse. The dog visits the mouse. The dog does not visit the squirrel. The mouse eats the dog. The mouse is blue. The mouse is cold. The mouse is young. The mouse visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel likes the mouse. The squirrel visits the dog. The squirrel visits the mouse. If the dog is nice then the dog is green. If something visits the mouse then the mouse is nice. If the mouse is nice and the mouse eats the dog then the dog is nice. If something visits the mouse and the mouse visits the dog then the dog eats the mouse. If something is nice and it visits the squirrel then the squirrel does not eat the dog. If the dog visits the squirrel and the dog does not eat the mouse then the squirrel visits the dog. If something visits the dog and it eats the mouse then the dog visits the squirrel. If something visits the mouse and it does not eat the dog then it eats the squirrel.
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The dog is not cold.
("dog" "is" "cold" "-")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the dog is nice then the dog is green.
((("dog" "is" "nice" "+")) -> ("dog" "is" "green" "+"))
If something visits the mouse then the mouse is nice.
((("something" "visits" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If the mouse is nice and the mouse eats the dog then the dog is nice.
((("mouse" "is" "nice" "+") ("mouse" "eats" "dog" "+")) -> ("dog" "is" "nice" "+"))
If something visits the mouse and the mouse visits the dog then the dog eats the mouse.
((("something" "visits" "mouse" "+") ("mouse" "visits" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If something is nice and it visits the squirrel then the squirrel does not eat the dog.
((("something" "is" "nice" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "eats" "dog" "-"))
If the dog visits the squirrel and the dog does not eat the mouse then the squirrel visits the dog.
((("dog" "visits" "squirrel" "+") ("dog" "eats" "mouse" "~")) -> ("squirrel" "visits" "dog" "+"))
If something visits the dog and it eats the mouse then the dog visits the squirrel.
((("something" "visits" "dog" "+") ("something" "eats" "mouse" "+")) -> ("dog" "visits" "squirrel" "+"))
If something visits the mouse and it does not eat the dog then it eats the squirrel.
((("something" "visits" "mouse" "+") ("something" "eats" "dog" "~")) -> ("something" "eats" "squirrel" "+"))
The squirrel likes the mouse.
True
1
proof
[(triple13)]
("squirrel" "likes" "mouse" "+")
triple13
The mouse does not eat the dog.
False
1
inv-proof
[(triple6)]
("mouse" "eats" "dog" "-")
triple6
The mouse is nice.
True
2
proof
[(((triple15) -> rule2) OR ((triple4) -> rule2))]
("mouse" "is" "nice" "+")
((triple15) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple4) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple15) -> rule2) OR ((triple4) -> rule2))]
("mouse" "is" "nice" "-")
((triple15) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple4) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The dog is nice.
True
4
proof
[(((((triple15) -> rule2) triple6) -> rule3) OR ((((triple4) -> rule2) triple6) -> rule3))]
("dog" "is" "nice" "+")
((((triple15) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((((triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The squirrel eats the dog.
False
4
inv-proof
[(((((triple15) -> rule2) triple10) -> rule5) OR ((((triple4) -> rule2) triple10) -> rule5))]
("squirrel" "eats" "dog" "+")
((((triple15) -> (rule2 % int2)) triple10) -> (rule5 % int1))
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((((triple4) -> (rule2 % int2)) triple10) -> (rule5 % int1))
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The dog is green.
True
5
proof
[(((((((triple15) -> rule2) triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule2) triple6) -> rule3)) -> rule1))]
("dog" "is" "green" "+")
((((((triple15) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
((((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The dog is not green.
False
5
inv-proof
[(((((((triple15) -> rule2) triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule2) triple6) -> rule3)) -> rule1))]
("dog" "is" "green" "-")
((((((triple15) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
((((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The mouse eats the squirrel.
Unknown
rconc
[@1: The mouse eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "eats" "squirrel" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The dog does not eat the mouse.[(triple1)] The dog does not visit the squirrel.[(triple5)] The dog is not cold.[(triple2)] The dog likes the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The mouse eats the dog.[(triple6)] The mouse is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse is young.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse is nice.[(((triple15) -> rule2) OR ((triple4) -> rule2))] @2: The dog is nice.[(((((triple15) -> rule2) triple6) -> rule3) OR ((((triple4) -> rule2) triple6) -> rule3))] The squirrel does not eat the dog.[(((((triple15) -> rule2) triple10) -> rule5) OR ((((triple4) -> rule2) triple10) -> rule5))] @3: The dog is green.[(((((((triple15) -> rule2) triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule2) triple6) -> rule3)) -> rule1))] The squirrel eats the squirrel.[(((triple15 ((((triple15) -> rule2) triple10) -> rule5)) -> rule8) OR ((triple15 ((((triple4) -> rule2) triple10) -> rule5)) -> rule8))]
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple1
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple5
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple3
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The mouse is nice.
("mouse" "is" "nice" "+")
((triple15) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple4) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple15) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((((triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
((((triple15) -> (rule2 % int2)) triple10) -> (rule5 % int1))
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
((((triple4) -> (rule2 % int2)) triple10) -> (rule5 % int1))
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((((((triple15) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
((((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple15 ((((triple15) -> (rule2 % int3)) triple10) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
((triple15 ((((triple4) -> (rule2 % int3)) triple10) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3