The dog chases the mouse. The dog is big. The dog is kind. The dog is nice. The mouse is big. The mouse is nice. The mouse sees the dog. If something eats the dog and the dog chases the mouse then the mouse is red. If something is big and it chases the mouse then the mouse eats the dog. If something sees the dog then it sees the mouse.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If something eats the dog and the dog chases the mouse then the mouse is red.
((("something" "eats" "dog" "+") ("dog" "chases" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If something is big and it chases the mouse then the mouse eats the dog.
((("something" "is" "big" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "eats" "dog" "+"))
If something sees the dog then it sees the mouse.
((("something" "sees" "dog" "+")) -> ("something" "sees" "mouse" "+"))
The mouse is nice.
True
1
proof
[(triple6)]
("mouse" "is" "nice" "+")
triple6
The mouse is not nice.
False
1
inv-proof
[(triple6)]
("mouse" "is" "nice" "-")
triple6
The mouse eats the dog.
True
3
proof
[(((triple2 triple1) -> rule2))]
("mouse" "eats" "dog" "+")
((triple2 triple1) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The mouse does not eat the dog.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("mouse" "eats" "dog" "-")
((triple2 triple1) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The mouse is red.
True
5
proof
[(((((triple2 triple1) -> rule2) triple1) -> rule1))]
("mouse" "is" "red" "+")
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The mouse is not red.
False
5
inv-proof
[(((((triple2 triple1) -> rule2) triple1) -> rule1))]
("mouse" "is" "red" "-")
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
The dog does not eat the mouse.
Unknown
inv-random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The mouse is big.[(triple5)] The mouse is nice.[(triple6)] The mouse sees the dog.[(triple7)] @1: The mouse eats the dog.[(((triple2 triple1) -> rule2))] The mouse sees the mouse.[(((triple7) -> rule3))] @2: The mouse is red.[(((((triple2 triple1) -> rule2) triple1) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple7
The mouse eats the dog.
("mouse" "eats" "dog" "+")
((triple2 triple1) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple7) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2