The dog chases the mouse. The dog is cold. The dog is green. The mouse chases the tiger. The mouse eats the dog. The mouse eats the tiger. The mouse is not round. The tiger chases the dog. The tiger chases the mouse. The tiger eats the dog. The tiger is round. The tiger likes the dog. If someone is green then they are round. If someone likes the tiger then the tiger chases the mouse. If someone is cold and they do not eat the dog then they do not chase the mouse. If the dog is cold and the dog chases the mouse then the mouse chases the dog. If the tiger likes the dog and the dog eats the mouse then the tiger does not chase the dog. If the mouse chases the dog then the dog does not eat the mouse. If someone likes the dog then they are red. If someone is round and they do not eat the mouse then the mouse does not like the dog.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone likes the tiger then the tiger chases the mouse.
((("someone" "likes" "tiger" "+")) -> ("tiger" "chases" "mouse" "+"))
If someone is cold and they do not eat the dog then they do not chase the mouse.
((("someone" "is" "cold" "+") ("someone" "eats" "dog" "~")) -> ("someone" "chases" "mouse" "-"))
If the dog is cold and the dog chases the mouse then the mouse chases the dog.
((("dog" "is" "cold" "+") ("dog" "chases" "mouse" "+")) -> ("mouse" "chases" "dog" "+"))
If the tiger likes the dog and the dog eats the mouse then the tiger does not chase the dog.
((("tiger" "likes" "dog" "+") ("dog" "eats" "mouse" "+")) -> ("tiger" "chases" "dog" "-"))
If the mouse chases the dog then the dog does not eat the mouse.
((("mouse" "chases" "dog" "+")) -> ("dog" "eats" "mouse" "-"))
If someone likes the dog then they are red.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone is round and they do not eat the mouse then the mouse does not like the dog.
((("someone" "is" "round" "+") ("someone" "eats" "mouse" "~")) -> ("mouse" "likes" "dog" "-"))
The dog is cold.
True
1
proof
[(triple2)]
("dog" "is" "cold" "+")
triple2
The tiger does not like the dog.
False
1
inv-proof
[(triple12)]
("tiger" "likes" "dog" "-")
triple12
The dog is round.
True
2
proof
[(((triple3) -> rule1))]
("dog" "is" "round" "+")
((triple3) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "is" "round" "-")
((triple3) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog does not eat the mouse.
True
4
proof
[(((((triple2 triple1) -> rule4)) -> rule6))]
("dog" "eats" "mouse" "-")
((((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The dog eats the mouse.
False
4
inv-proof
[(((((triple2 triple1) -> rule4)) -> rule6))]
("dog" "eats" "mouse" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse does not like the dog.
True
7
proof
[(((((triple3) -> rule1) ((((triple2 triple1) -> rule4)) -> rule6)) -> rule8))]
("mouse" "likes" "dog" "-")
((((triple3) -> (rule1 % int4)) ((((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
int1
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The mouse likes the dog.
False
7
inv-proof
[(((((triple3) -> rule1) ((((triple2 triple1) -> rule4)) -> rule6)) -> rule8))]
("mouse" "likes" "dog" "+")
((((triple3) -> (rule1 % int4)) ((((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
int1
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "red" "-")
The mouse is red.
Unknown
rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "red" "+")
The dog does not eat the tiger.
Unknown
inv-random
[@0: The dog eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "tiger" "-")
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 eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not like the tiger.
Unknown
inv-random
[@0: The mouse likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "tiger" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The dog chases the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse eats the dog.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is not round.[(triple7)] The tiger chases the dog.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is round.[(triple11)] The tiger likes the dog.[(triple12)] @1: The dog is round.[(((triple3) -> rule1))] The mouse chases the dog.[(((triple2 triple1) -> rule4))] The tiger is red.[(((triple12) -> rule7))] @2: The dog does not eat the mouse.[(((((triple2 triple1) -> rule4)) -> rule6))] @3: The mouse does not like the dog.[(((((triple3) -> rule1) ((((triple2 triple1) -> rule4)) -> rule6)) -> rule8))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple5
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple6
The mouse is not round.
("mouse" "is" "round" "-")
triple7
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple8
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple12
The dog is round.
("dog" "is" "round" "+")
((triple3) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((triple2 triple1) -> (rule4 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple12) -> (rule7 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
((((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
((((triple3) -> (rule1 % int4)) ((((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
int1
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int3
The dog is round.
("dog" "is" "round" "+")
int4