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