The dog chases the mouse. The dog is rough. The dog needs the lion. The dog needs the mouse. The lion is blue. The lion is rough. The lion is young. The mouse chases the dog. The mouse chases the lion. The mouse is blue. The mouse likes the lion. The mouse needs the dog. If someone likes the lion and they chase the mouse then they are blue. If someone is rough then they need the mouse. If the mouse chases the lion and the mouse is young then the lion needs the dog. If someone needs the mouse then they are red. If someone chases the mouse then they are red. If someone is red then they need the lion. If someone is round then they are rough. If someone likes the lion then they need the dog.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If someone likes the lion and they chase the mouse then they are blue.
((("someone" "likes" "lion" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they need the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "mouse" "+"))
If the mouse chases the lion and the mouse is young then the lion needs the dog.
((("mouse" "chases" "lion" "+") ("mouse" "is" "young" "+")) -> ("lion" "needs" "dog" "+"))
If someone needs the mouse then they are red.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone chases the mouse then they are red.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they need the lion.
((("someone" "is" "red" "+")) -> ("someone" "needs" "lion" "+"))
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the lion then they need the dog.
((("someone" "likes" "lion" "+")) -> ("someone" "needs" "dog" "+"))
The mouse likes the lion.
True
1
proof
[(triple11)]
("mouse" "likes" "lion" "+")
triple11
The mouse is not blue.
False
1
inv-proof
[(triple10)]
("mouse" "is" "blue" "-")
triple10
The dog is red.
True
2
proof
[(((triple1) -> rule5) OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4))]
("dog" "is" "red" "+")
((triple1) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((triple4) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int2
The lion does not need the mouse.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "needs" "mouse" "-")
((triple6) -> (rule2 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The lion is red.
True
3
proof
[(((((triple6) -> rule2)) -> rule4))]
("lion" "is" "red" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The lion is not red.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule4))]
("lion" "is" "red" "-")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The lion needs the lion.
True
4
proof
[(((((((triple6) -> rule2)) -> rule4)) -> rule6))]
("lion" "needs" "lion" "+")
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int3
The lion does not need the lion.
False
4
inv-proof
[(((((((triple6) -> rule2)) -> rule4)) -> rule6))]
("lion" "needs" "lion" "-")
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int3
The mouse does not need the mouse.
Unknown
inv-rconc
[@2: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse needs the lion.
Unknown
rconc
[@4: The mouse needs the lion.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- rule7 <- FAIL)]]
("mouse" "needs" "lion" "+")
The mouse is not red.
Unknown
inv-rconc
[@3: The mouse is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule7 <- FAIL)]]
("mouse" "is" "red" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The lion does not like the dog.
Unknown
inv-random
[@0: The lion likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog chases the mouse.[(triple1)] The dog is rough.[(triple2)] The dog needs the lion.[(triple3 OR ((((triple1) -> rule5)) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4)) -> rule6))] The dog needs the mouse.[(triple4 OR ((triple2) -> rule2))] The lion is blue.[(triple5)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The mouse chases the dog.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse likes the lion.[(triple11)] The mouse needs the dog.[(triple12 OR ((triple11) -> rule8))] @1: The dog is red.[(((triple1) -> rule5) OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] The lion needs the mouse.[(((triple6) -> rule2))] @2: The lion is red.[(((((triple6) -> rule2)) -> rule4))] @3: The lion needs the lion.[(((((((triple6) -> rule2)) -> rule4)) -> rule6))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog needs the lion.
("dog" "needs" "lion" "+")
triple3
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The dog needs the lion.
("dog" "needs" "lion" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the lion.
("dog" "needs" "lion" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The dog needs the lion.
("dog" "needs" "lion" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int3
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple4
((triple2) -> (rule2 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple11
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple12
((triple11) -> (rule8 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple1) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((triple4) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int2
The lion needs the mouse.
("lion" "needs" "mouse" "+")
((triple6) -> (rule2 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int3