The dog eats the mouse. The dog is blue. The dog is not green. The dog is not kind. The dog is not nice. The dog does not like the mouse. The dog does not visit the mouse. The mouse is big. The mouse is not green. The mouse is nice. If something visits the dog then the dog does not like the mouse. If the dog eats the mouse then the mouse is blue. If something eats the mouse then it visits the dog. If something eats the mouse then it visits the dog. If the dog is big then the dog eats the mouse. If something is big and blue then it eats the mouse. If something visits the mouse and the mouse visits the dog then it is kind. If something is big and it does not visit the dog then the dog visits the mouse.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is not nice.
("dog" "is" "nice" "-")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
If something visits the dog then the dog does not like the mouse.
((("something" "visits" "dog" "+")) -> ("dog" "likes" "mouse" "-"))
If the dog eats the mouse then the mouse is blue.
((("dog" "eats" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If something eats the mouse then it visits the dog.
((("something" "eats" "mouse" "+")) -> ("something" "visits" "dog" "+"))
If something eats the mouse then it visits the dog.
((("something" "eats" "mouse" "+")) -> ("something" "visits" "dog" "+"))
If the dog is big then the dog eats the mouse.
((("dog" "is" "big" "+")) -> ("dog" "eats" "mouse" "+"))
If something is big and blue then it eats the mouse.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "mouse" "+"))
If something visits the mouse and the mouse visits the dog then it is kind.
((("something" "visits" "mouse" "+") ("mouse" "visits" "dog" "+")) -> ("something" "is" "kind" "+"))
If something is big and it does not visit the dog then the dog visits the mouse.
((("something" "is" "big" "+") ("something" "visits" "dog" "~")) -> ("dog" "visits" "mouse" "+"))
The dog is not green.
True
1
proof
[(triple3)]
("dog" "is" "green" "-")
triple3
The mouse is not nice.
False
1
inv-proof
[(triple10)]
("mouse" "is" "nice" "-")
triple10
The mouse is blue.
True
2
proof
[(((triple1) -> rule2))]
("mouse" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The dog does not visit the dog.
False
2
inv-proof
[(((triple1) -> rule3) OR ((triple1) -> rule4))]
("dog" "visits" "dog" "-")
((triple1) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
((triple1) -> (rule4 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The mouse eats the mouse.
True
4
proof
[(((triple8 ((triple1) -> rule2)) -> rule6))]
("mouse" "eats" "mouse" "+")
((triple8 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse does not eat the mouse.
False
4
inv-proof
[(((triple8 ((triple1) -> rule2)) -> rule6))]
("mouse" "eats" "mouse" "-")
((triple8 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse visits the dog.
True
5
proof
[(((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule4))]
("mouse" "visits" "dog" "+")
((((triple8 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple8 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse does not visit the dog.
False
5
inv-proof
[(((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule4))]
("mouse" "visits" "dog" "-")
((((triple8 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple8 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "kind" "-")
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 like the dog.
Unknown
inv-random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
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 dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The dog does not like the mouse.[(triple6 OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule4)) -> rule1) OR ((((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule3)) -> rule1) OR ((((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule4)) -> rule1))] The dog does not visit the mouse.[(triple7)] The dog eats the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is not green.[(triple3)] The dog is not kind.[(triple4)] The dog is not nice.[(triple5)] The mouse is big.[(triple8)] The mouse is nice.[(triple10)] The mouse is not green.[(triple9)] @1: The dog visits the dog.[(((triple1) -> rule3) OR ((triple1) -> rule4))] The mouse is blue.[(((triple1) -> rule2))] @2: The mouse eats the mouse.[(((triple8 ((triple1) -> rule2)) -> rule6))] @3: The mouse visits the dog.[(((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule4))]
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple6
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((((triple8 ((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
((((((triple8 ((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
triple7
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is not green.
("dog" "is" "green" "-")
triple3
The dog is not kind.
("dog" "is" "kind" "-")
triple4
The dog is not nice.
("dog" "is" "nice" "-")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The mouse is not green.
("mouse" "is" "green" "-")
triple9
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple1) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
((triple1) -> (rule4 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple8 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse visits the dog.
("mouse" "visits" "dog" "+")
((((triple8 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
((((triple8 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3