The dog does not chase the rabbit. The dog chases the tiger. The dog is rough. The dog does not need the rabbit. The dog needs the tiger. The rabbit is not kind. The rabbit is rough. The rabbit needs the tiger. The rabbit sees the dog. The rabbit sees the tiger. The tiger chases the dog. The tiger chases the rabbit. The tiger is not rough. The tiger does not need the dog. The tiger needs the rabbit. The tiger sees the dog. If someone needs the rabbit then they need the tiger. If the rabbit sees the tiger and the tiger does not need the rabbit then the tiger sees the dog. If someone needs the tiger then they are young. If someone chases the rabbit then they are big. If someone needs the dog and the dog needs the rabbit then the dog needs the tiger. If the dog needs the rabbit and the rabbit does not need the dog then the rabbit is rough. If someone is young and they see the rabbit then the rabbit is rough. If someone is blue and they do not chase the tiger then they do not chase the rabbit.
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog does not need the rabbit.
("dog" "needs" "rabbit" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone needs the rabbit then they need the tiger.
((("someone" "needs" "rabbit" "+")) -> ("someone" "needs" "tiger" "+"))
If the rabbit sees the tiger and the tiger does not need the rabbit then the tiger sees the dog.
((("rabbit" "sees" "tiger" "+") ("tiger" "needs" "rabbit" "~")) -> ("tiger" "sees" "dog" "+"))
If someone needs the tiger then they are young.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "young" "+"))
If someone chases the rabbit then they are big.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone needs the dog and the dog needs the rabbit then the dog needs the tiger.
((("someone" "needs" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "needs" "tiger" "+"))
If the dog needs the rabbit and the rabbit does not need the dog then the rabbit is rough.
((("dog" "needs" "rabbit" "+") ("rabbit" "needs" "dog" "~")) -> ("rabbit" "is" "rough" "+"))
If someone is young and they see the rabbit then the rabbit is rough.
((("someone" "is" "young" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If someone is blue and they do not chase the tiger then they do not chase the rabbit.
((("someone" "is" "blue" "+") ("someone" "chases" "tiger" "~")) -> ("someone" "chases" "rabbit" "-"))
The tiger needs the rabbit.
True
1
proof
[(triple15)]
("tiger" "needs" "rabbit" "+")
triple15
The dog does not need the tiger.
False
1
inv-proof
[(triple5)]
("dog" "needs" "tiger" "-")
triple5
The rabbit is young.
True
2
proof
[(((triple8) -> rule3))]
("rabbit" "is" "young" "+")
((triple8) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is not young.
False
2
inv-proof
[(((triple8) -> rule3))]
("rabbit" "is" "young" "-")
((triple8) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The tiger is young.
True
3
proof
[(((((triple15) -> rule1)) -> rule3))]
("tiger" "is" "young" "+")
((((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is not young.
False
3
inv-proof
[(((((triple15) -> rule1)) -> rule3))]
("tiger" "is" "young" "-")
((((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "big" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "big" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The dog chases the tiger.[(triple2)] The dog does not chase the rabbit.[(triple1)] The dog does not need the rabbit.[(triple4)] The dog is rough.[(triple3)] The dog needs the tiger.[(triple5)] The rabbit is not kind.[(triple6)] The rabbit is rough.[(triple7)] The rabbit needs the tiger.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit sees the tiger.[(triple10)] The tiger chases the dog.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger does not need the dog.[(triple14)] The tiger is not rough.[(triple13)] The tiger needs the rabbit.[(triple15)] The tiger sees the dog.[(triple16)] @1: The dog is young.[(((triple5) -> rule3))] The rabbit is young.[(((triple8) -> rule3))] The tiger is big.[(((triple12) -> rule4))] The tiger needs the tiger.[(((triple15) -> rule1))] @2: The tiger is young.[(((((triple15) -> rule1)) -> rule3))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
triple1
The dog does not need the rabbit.
("dog" "needs" "rabbit" "-")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple5
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple9
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple10
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple11
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple12
The tiger does not need the dog.
("tiger" "needs" "dog" "-")
triple14
The tiger is not rough.
("tiger" "is" "rough" "-")
triple13
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple16
The dog is young.
("dog" "is" "young" "+")
((triple5) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple8) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple12) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple15) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2