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