The dog eats the mouse. The dog is green. The dog is nice. The dog is red. The dog does not like the mouse. The dog likes the rabbit. The dog visits the rabbit. The mouse likes the rabbit. The rabbit eats the dog. The rabbit is kind. If someone is red and green then they visit the mouse. If someone visits the mouse then the mouse eats the dog. If someone is kind and they like the dog then they do not eat the mouse.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone is red and green then they visit the mouse.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "mouse" "+"))
If someone visits the mouse then the mouse eats the dog.
((("someone" "visits" "mouse" "+")) -> ("mouse" "eats" "dog" "+"))
If someone is kind and they like the dog then they do not eat the mouse.
((("someone" "is" "kind" "+") ("someone" "likes" "dog" "+")) -> ("someone" "eats" "mouse" "-"))
The dog is red.
True
1
proof
[(triple4)]
("dog" "is" "red" "+")
triple4
The dog likes the mouse.
False
1
inv-proof
[(triple5)]
("dog" "likes" "mouse" "+")
triple5
The dog visits the mouse.
True
3
proof
[(((triple4 triple2) -> rule1))]
("dog" "visits" "mouse" "+")
((triple4 triple2) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The dog does not visit the mouse.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("dog" "visits" "mouse" "-")
((triple4 triple2) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse eats the dog.
True
4
proof
[(((((triple4 triple2) -> rule1)) -> rule2))]
("mouse" "eats" "dog" "+")
((((triple4 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The mouse does not eat the dog.
False
4
inv-proof
[(((((triple4 triple2) -> rule1)) -> rule2))]
("mouse" "eats" "dog" "-")
((((triple4 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The rabbit visits the mouse.
Unknown
rconc
[@1: The rabbit visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "mouse" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit eats the mouse.
Unknown
random
[@0: The rabbit eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "mouse" "+")
@0: The dog does not like the mouse.[(triple5)] The dog eats the mouse.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog likes the rabbit.[(triple6)] The dog visits the rabbit.[(triple7)] The mouse likes the rabbit.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is kind.[(triple10)] @1: The dog visits the mouse.[(((triple4 triple2) -> rule1))] @2: The mouse eats the dog.[(((((triple4 triple2) -> rule1)) -> rule2))]
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The dog visits the mouse.
("dog" "visits" "mouse" "+")
((triple4 triple2) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
((((triple4 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int2