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